大寫或下劃線開頭的詞暗示變量，小寫開頭的詞暗示原子量；查詢時必須使用大寫或下劃線開頭的詞。
noun(x1, x2) <=> x2‘s noun is x2 such as father(Jim, Jam) <=> Jam’s fathwer is Jim
另外，一般地， type(x1, x2) <=>
PRolog 文件后綴名為 .pl 或者 .pro 最初的后綴名為.pl, 可是尷尬地同perl的后綴名沖突了，個人建議還是用.pro吧
遞歸時使用尾遞歸， 優化可以使得?？臻g不變
5.1
| Name | symbol |
|---|---|
| 小于等于 | =< （詭異） |
| 大于等于 | >= （正常） |
5.2 -> 條件語句
不同實現可能略有不同，對于SWI-Prolog, 定義模塊：
1. 文件第一行 `:- module(list, [ reverse/2, min/2 ]).`, 關鍵是`:-`不能漏掉導入模塊：
1. :- use_module('./soduku4step.pro', [ soduku/2 as soduku4step ]).2. 默認全部導入3. :- use_module(library(lists)). %導入標準庫在TopLevel交互時不需要：-
新聞熱點
疑難解答
