不知论坛里面有多少像我一样的初学者,我发现以下swi-prolog的技巧有助于初学者开始练手(对于初学者,窃以为暂时不需要一个专门编辑器)。
我们知道,fact和rule都必须先存在文件里,然后文件作为知识库被“consult”之后Prolog才能进行查询,但是往往我们只想测试一下一些简单的例子,因此要生成文件、再consult、然后再进行查询的话显得有点麻烦。实际上,在swi-prolog中可以直接在名为“user”这个虚拟文件中进行这些步骤:
1. 输入“[user].” ——打开虚拟文件“user”,这个文件是swi-prolog在运行时作为用户当前使用的文件存在的
2. 打开user后会看到提示由“ -? ”变成“|: ”,然后我们就可以输入事实和规则了
3. 在输入完成之后,按下“ctrl+d”(在windows下)来指示完成输入(或者可以使用命令“end_of_file.”)
4. 然后swi-prolog就会consult这个“user”文件了。那么之前输入的知识立即就[/list]可用。
大家不妨试试。
另:swi-prolog自带的编辑器其实也很好用,我觉得,swi-prolog本身已经是一个非常完整、强大的IDE了,大家可以探究一下。
我们知道,fact和rule都必须先存在文件里,然后文件作为知识库被“consult”之后Prolog才能进行查询,但是往往我们只想测试一下一些简单的例子,因此要生成文件、再consult、然后再进行查询的话显得有点麻烦。实际上,在swi-prolog中可以直接在名为“user”这个虚拟文件中进行这些步骤:
1. 输入“[user].” ——打开虚拟文件“user”,这个文件是swi-prolog在运行时作为用户当前使用的文件存在的
2. 打开user后会看到提示由“ -? ”变成“|: ”,然后我们就可以输入事实和规则了
3. 在输入完成之后,按下“ctrl+d”(在windows下)来指示完成输入(或者可以使用命令“end_of_file.”)
4. 然后swi-prolog就会consult这个“user”文件了。那么之前输入的知识立即就[/list]可用。
大家不妨试试。
另:swi-prolog自带的编辑器其实也很好用,我觉得,swi-prolog本身已经是一个非常完整、强大的IDE了,大家可以探究一下。