u011010440的博客

prolog解释器的提示符号为“?-” lovers(X,Y):-love(X,Y),love(Y,X). 逻辑编程 什么叫逻辑编程？也许你还没有一个整体的印象，还是让我们首先来研究一个简单的例子吧。运用经典的逻辑理论，我们可以说“所有的人（person）都属于人类（moral）”，如果用 Prolog 的语言来说就是“对于所有的 X，只要 X 是一个人，它就属于人类。” moral(X):-pe...

Visual Prolog的使用总结： ①：谓词段 predicates 放在 *.cl中 *②：子句段clauses 放在 .pro 中 下面是一个八数码的具体例子： PREDICATES DOMAINS cell=c(integer, integer) list=cell* int_list=integer* PREDICATES solution(list) member(integer...