PySwip

安装最新版本

Ubuntu 18.04 和 20.04 支持的最新 SWI-Prolog 版本是 7.6.4。我们通常希望支持 Ubuntu 的长期支持版本。PySwip 在主分支上与 7.6.4 的兼容性已经被破坏，所以在修复之前我们无法发布新版本。同时，你可以使用以下命令从主分支安装 PySwip：

pip install git+https://github.com/yuce/pyswip@master#egg=pyswip

Python 2 支持的结束

Python 2 已于 2020 年 1 月 1 日结束生命周期，详情请参见此处。因此，PySwip 0.2.10 将是最后一个官方支持 Python 2 的版本。

你是否仍需要 Python 2 支持？请在此处告诉我们：https://github.com/yuce/pyswip/issues/94

新特性

请查看更新日志。

警告！PySwip 没有 Windows 安装程序！如果你是 Windows 用户，请参阅 INSTALL。有些"免费下载"网站声称提供 PySwip 安装程序。请不要相信它们！

感谢所有贡献者。

简介

PySwip 是一个 Python - SWI-Prolog 桥接器，使你能在 Python 程序中查询 SWI-Prolog。它具有（不完整的）SWI-Prolog 外部语言接口，一个使 Prolog 查询变得简单的实用类，以及一个 Python 风格的接口。

由于 PySwip 将 SWI-Prolog 作为共享库使用，并使用 ctypes 访问它，因此无需编译即可安装。

要求：

Python 3.6 及更高版本。
- 目前不支持 PyPy。
SWI-Prolog 8.2 及更高版本。
libswipl 作为共享库。这在大多数平台上是默认的。
适用于 Linux、Windows、MacOS 和 FreeBSD。应该适用于其他 POSIX 系统。

安装

重要：确保 SWI-Prolog 的架构与 Python 的架构相同。如果你使用的是 64 位的 Python，请使用 64 位的 SWI-Prolog，反之亦然。

请参阅 INSTALL 获取安装指南。

示例

使用 Prolog

from pyswip import Prolog
prolog = Prolog()
prolog.assertz("father(michael,john)")
prolog.assertz("father(michael,gina)")
list(prolog.query("father(michael,X)")) == [{'X': 'john'}, {'X': 'gina'}]
for soln in prolog.query("father(X,Y)"):
    print(soln["X"], "是", soln["Y"], "的父亲")
# michael 是 john 的父亲
# michael 是 gina 的父亲

还可以查询存储在 Prolog 文件中的现有知识库。假设文件名为 "knowledge_base.pl"，且 Python 在同一工作目录下运行，可以这样查询：

>>> from pyswip import Prolog
>>> prolog = Prolog()
>>> prolog.consult("knowledge_base.pl")

外部函数

from __future__ import print_function
from pyswip import Prolog, registerForeign

def hello(t):
    print("你好，", t)
hello.arity = 1

registerForeign(hello)

prolog = Prolog()
prolog.assertz("father(michael,john)")
prolog.assertz("father(michael,gina)")
print(list(prolog.query("father(michael,X), hello(X)")))

Python 风格接口（实验性）

from __future__ import print_function
from pyswip import Functor, Variable, Query, call

assertz = Functor("assertz", 1)
father = Functor("father", 2)
call(assertz(father("michael","john")))
call(assertz(father("michael","gina")))
X = Variable()

q = Query(father("michael",X))
while q.nextSolution():
    print("你好，", X.value)
q.closeQuery()

# 输出：
#    你好， john
#    你好， gina

Prolog.query 的核心功能基于 Nathan Denny 的公共领域 prolog.py。

帮助！

使用或引用 PySwip 的项目/出版物

你有使用/提到 PySwip 的项目、视频或出版物吗？提交一个 issue 或发送一个拉取请求。

如果你想在 LaTeX 文档中引用 PySwip，可以使用提供的 BibTeX 文件。

书籍

《树莓派人工智能入门》

出版物

视频

AI - 积木世界求解器交互式规划器
PySwip, Prolog, Javascript和HTML (西班牙语)
使用Prolog和Python走出迷宫 (西班牙语)
机器人变得(真的)聪明了!(NAO与凯洛·伦对话)
连接Python和Prolog | 使用Pyswip模块 | 使用Prolog作为后端
如何使用Pyswip模块连接Prolog和Python
专家系统实践01 - Prolog、SWI-Prolog、PySwip简介 (印尼语)
Prolog基础课程:4 - 通过PySwip将Python与Prolog互连 (西班牙语)

项目

noworkflow 支持在没有科学工作流管理系统的情况下运行科学实验的基础设施。http://gems-uff.github.io/noworkflow
超级吃豆人
宝可梦弱点检测器
印度海得拉巴美食推荐使用Flask托管的GUI和PYSWIP及原生Prolog开发的后端的美食推荐AI专家系统。
pyswip_envctrl 用PySwip编写的环境控制模块专家系统。
井字游戏使用Prolog实现AI的井字游戏，GUI使用Python（kivy框架 + pyswip）。
TBM1 - "了解我的家"
通过蓝牙控制Scribbler II机器人的Prolog自然语言解析组件
Cosmos 一种新的逻辑编程语言。
lib-annotated-attack-trees 用于创建带注释的攻击树库并使用它来完善带注释的攻击树的脚本和资源。
ClIDE 命令行智能开发环境
PUC-Rio人工智能INF1771课程 PUC-Rio人工智能课程的项目
AutomobileAdvisor 专家系统项目，根据客户偏好帮助选择合适的汽车（波兰语）
Prolog俄罗斯方块AI
Jupyter SWI Prolog SWI-Prolog的Jupyter内核。
积木世界规划器一个允许用户仅使用自然语言来解决积木世界问题的程序。
DeepTalk 基于Python+Prolog的对话引擎，使用Python包text_graph_crafts提取回答查询的最高排名句子。
DeepRank 该系统使用依存链接构建文本图，借助PageRank等中心性算法从文本文档中提取相关关键短语、摘要和关系。
Prolog井字游戏一个全栈井字游戏，AI使用Prolog，后端使用Python3（+Flask），前端使用Vue.js 3。
MIDSI项目适用于语义网的项目数据发现解决方案，支持加载本体和使用WSML语言推断结果。
Popper 一个归纳逻辑编程系统。
毕业设计信息系统工程 - Nicolás Leidi

博客文章

使用PySwip的公司

Magazino GmbH Magazino开发和构建智能移动机器人，用于内部物流。

许可证

Copyright (c) 2007-2020 Yüce Tekol and PySwip contributors

Permission is hereby granted, free of charge, to any person obtaining a copy of
this software and associated documentation files (the "Software"), to deal in
the Software without restriction, including without limitation the rights to
use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
the Software, and to permit persons to whom the Software is furnished to do so,
subject to the following conditions:

The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.