Prolog 备忘录

• fz835304205 发布于
• 1540 收藏

1. 大写或下划线开头的词暗示变量，小写开头的词暗示原子量；查询时必须使用大写或下划线开头的词。 2. noun(x1, x2) x2‘s noun is x2 such as father(Jim, Jam) Jam’s fathwer is Jim 另外，一般地， type(x1, x2) x1∈x2 3. prolog 文件后缀名为 .pl 或者 .pr...