• prolog解释器的提示符号为 lovers X Y love X Y love Y X 逻辑编程 什么叫逻辑编程 也许你还没有一个整体的印象 还是让我们首先来研究一个简单的例子吧 运用经典的逻辑理论 我们可以说 所有的人 person 都