作为ECLiPSe的新用户,我遇到了问题。
我能够查阅.pl
文件,但是当我将扩展名更改为.ecl
时,我收到了一条文件不存在的消息。
我什至可以运行.pl
文件,但无法访问任何辅助谓词。只有最长的一个跑了。 (它没有被称为main
。)
我终于添加了export
行,从而解决了问题。
加载['../<current-directory>/file.ecl']
可以,但是尝试加载['file.ecl']
或['./file.ecl']
时,不会显示此类文件消息。
是否有新手问答的存储库或用户的邮件列表?
谢谢。
答案 0 :(得分:0)
关于the ECLiPSe web site,mailing lists和stackoverflow标签eclipse-clp的文档非常丰富。
文件扩展名应该没有任何问题:.ecl和.pl都可以接受(如果同时存在.ecl,则最好使用.ecl),请参见here。 current directory是通常的概念,在使用相对路径名时必须考虑到这一点。
使用export
指令时只需要module
指令-对于小型实验,您可以省略这两个指令。