SWI-Prolog

SWI-Prolog 7.2.3 / 7.3.6-dev 更新

这是非常有用的逻辑编程目的,人工智能和计算语言学 是什么在此版本中是新的: 在该新的字典类型和语法提供了时间和空间效率的名字 - 值映射一个愉快的语法。其结果是,有必要更换该列表构造(H,T)由(也通过使用汞)'[|]'(H,T)。这似乎激烈,但实际上只影响了一些项目,特别是在做仿函数(期限,F,A)的名单,然后f选择进一步处理=='',A == 2。要打开列表更进一特殊的结构,[]仍是空列表,但不再一样“[]”,即,[]是不是原子。在语法和QUOT;...