ILP-Implementation

时间:2024-07-07 18:31:30
【文件属性】:

文件名称:ILP-Implementation

文件大小:4KB

文件格式:ZIP

更新时间:2024-07-07 18:31:30

Python

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) )


【文件预览】:
ILP-Implementation-master
----intulogpro.py(7KB)
----test()
--------ancestor.ilp(189B)
--------harry.ilp(228B)
----.gitignore(6B)
----README.md(582B)

网友评论