一种具有推理和假设的逻辑程序设计语言