ILP实施
Python中直观逻辑编程的实现。
用法
$ python nprolog.py filename.ilp
然后只需运行查询!
序言语法
此实现使用常规 Prolog 语法,并进行了一些更改以支持直观的逻辑编程。 您将事实和规则添加到 .ilp 文件,然后您可以在加载文件后对其运行查询。
假设查询
下面这行表示如果friend(A, C) 会使popular(A) 为真,则nearPopular(A, C) 为真:
nearPopular(A, C):- = >( popular(A), friend(A, C) )
2022-11-21 19:42:15
4KB
Python
1