SWI-Prolog

SWI-Prolog 7.2.3 / 7.3.6-dev 更新

這是非常有用的邏輯編程目的,人工智能和計算語言學 是什麼在此版本中是新的: 在該新的字典類型和語法提供了時間和空間效率的名字 - 值映射一個愉快的語法。其結果是,有必要更換該列表構造(H,T)由(也通過使用汞)'[|]'(H,T)。這似乎激烈,但實際上只影響了一些項目,特別是在做仿函數(期限,F,A)的名單,然後f選擇進一步處理=='',A == 2。要打開列表更進一特殊的結構,[]仍是空列表,但不再一樣“[]”,即,[]是不是原子。在語法和QUOT;...