swi_prolog使用操作入门

##编辑文件： 事实（以点结尾） 规则（冒号，加事实（参数用变量），用点结尾） 例如： father(tom,jerry). father(jack,tom). grandfather(X,Z):-father(X,Y),father(Y,Z). ##运行： 将文件导入终端 1.终端consult（翻阅对应文件） 2.[filename]. %filename:文件名 例如：[‘C:/Users/

>>阅读原文<<