概論程式語言原本是被設計成專門使用在計算機上的，但它們也可以用來定義算法或者數據結構。正是因為如此，程式設計師才會試圖使程式代碼更容...
了ISOProlog標準。受Prolog影響的程式語言有很多，較為人所知的有：Mercury、Oz、Erlang、Strand。目前比較流行的實現工具包括...
