Logical Programming with Prolog - Clauses and Queries

一些网址推荐

SWI-PROLOG官网:

[SWI-Prolog (swi-prolog.org)](https://www.swi-prolog.org/)

快速入门:

[SWI-Prolog -- Manual (swi-prolog.org)](https://www.swi-prolog.org/pldoc/man?section=quickstart)

在线编译工具:

[SWISH -- SWI-Prolog for SHaring (swi-prolog.org)](https://swish.swi-prolog.org/)

数据类型

在Prolog中唯一的一种数据类型是term
一个term可以是

atom(以小写字母开头)
number
variable()

你可能感兴趣的:(git)