文件名称：pytholog:允许在Python中使用Prolog语法和逻辑编程的Python库
文件大小：329KB
文件格式：ZIP
更新时间：2024-06-03 06:51:38
python prolog backtracking logic-programming neuro-symbolic-learning
pytholog Python中的逻辑编程 允许在python中使用逻辑编程的Python库。 该库的目的是探索在机器学习中使用符号推理的方法。 现在，pytholog支持概率。 Pytholog提供事实索引（第一项），并使用二进制搜索来搜索相关事实，而不是遍历所有知识库。 因此，在定义规则时，请确保主要搜索字词位于第一个位置，以加快搜索查询的速度。 完整的文档 有一个SourceForge项目，可在此处找到： : ，该项目具有一个可执行工具，该工具可作为具有RESTful API的独立逻辑数据库使用，可以由其他应用程序查询或与其他应用程序一起使用。 该项目中的工具可在Linux和Windows上运行，并且还有要在OSX系统上构建的脚本。 序言语法 Prolog采用事实和规则。 事实或规则的谓词在“喜欢（noor，香肠）”中是“喜欢”，而在“ friend（X，Y）”中是“
【文件预览】：
pytholog-master
----MANIFEST.in(253B)
----.travis.yml(194B)
----docs()
--------pytholog_graph.md(5KB)
--------img()
--------_config.yml(25B)
--------pytholog_database.md(8KB)
--------How pytholog works.md(9KB)
--------friends_influence.md(3KB)
--------index.md(3KB)
----pytholog()
--------fact.py(1KB)
--------pq.py(1KB)
--------util.py(3KB)
--------__init__.py(188B)
--------unify.py(927B)
--------querizer.py(5KB)
--------expr.py(1KB)
--------goal.py(801B)
--------knowledge_base.py(3KB)
--------search_util.py(5KB)
----Pipfile(207B)
----mkdocs.yml(38B)
----tox.ini(101B)
----LICENSE(1KB)
----Pipfile.lock(9KB)
----test_pytholog.py(3KB)
----CONTRIBUTING.md(1KB)
----tool()
--------Pytholog.py(3KB)
--------dummy.txt(401B)
--------README.md(4KB)
----requirements.txt(14B)
----examples()
--------example.txt(304B)
--------friends_prob.md(3KB)
----setup.py(835B)
----.gitignore(2KB)
----README.md(12KB)
----pytholog_files()
--------figure-gfm()