pyswip 0.2.5

PySWIP enables querying SWI-Prolog in your Python programs.

PySWIP

What's New?

See the CHANGELOG.

This library is being cleaned up and refactored. Expect API breakage and incompatibility with previous versions.

Thanks to all contributors. If you have contributed to PySWIP in the past and your name does not appear on that list, please let me know so I can add your name.

Introduction

PySWIP is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.

Since PySWIP uses SWI-Prolog as a shared library and ctypes to access it, it doesn't require compilation to be installed.

Requirements:

• Python 2.7 or 3.4 and higher.
  • PyPy is currently not supported.
• SWI-Prolog 7.6.x and higher (most probably other versions will also work).
• libpl as a shared library.
• Works on Linux, Windows and MacOS. Should work on other POSIX.

Install

See INSTALL for instructions. That file is out of date and is being revamped.

Examples

Using 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"], "is the father of", soln["Y"])
# michael is the father of john
# michael is the father of gina

An existing knowledge base stored in a Prolog file can also be consulted, and queried. Assuming the filename "knowledge_base.pl" and the Python is being run in the same working directory, it is consulted like so:

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

Foreign Functions

from pyswip import Prolog, registerForeign
def hello(t):
    print("Hello,", t)
hello.arity = 1
registerForeign(hello)
prolog = Prolog()
prolog.assertz("father(michael,john)")
prolog.assertz("father(michael,gina)")    
list(prolog.query("father(michael,X), hello(X)"))

Pythonic interface (Experimental)

from pyswip import Functor, Variable, Query
assertz = Functor("assertz", 2)
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 "Hello,", X.value
q.closeQuery()
# Outputs:
#    Hello, john
#    Hello, gina

The core functionality of Prolog.query is based on Nathan Denny's public domain prolog.py found at http://www.ahsc.arizona.edu/~schcats/projects/docs/prolog-0.2.0.html

Help!

• Support Forum
• Stack Overflow

Resources that Use or Reference PySWIP

Do you have a project, video or publication that uses/mentions PySWIP? Please let me know and I'll add it to the list below.

Books

• Beginning Artificial Intelligence with the Raspberry Pi

Publications

• Assessment of Graph Databases as a Viable Materiel Solution for the Army's Dynamic Force Structure (DFS) Portal Implementation: Part 3, Risks, Mitigation Approach, and Roadmap
• Tackling Complexity in High Performance Computing Applications
• Social Human-Robot Interaction: A New Cognitive and Affective Interaction-Oriented Architecture
• A Planning Module for a ROS-Based Ubiquitous Robot Control System (PDF)
• A pilot framework developed as a common platform integrating diverse elements of computer aided fixture design
• Integration von Prolog und ClioPatria in Python (PDF, German)
• SELECTSCRIPT: A Query Language for Robotic World Models and Simulations
• A Concept for Declarative Information Acquisition in Smart Environments

Videos

• AI - blocks world solver interactive planner
• PySwip, Prolog, JAVA SCRIPT and HTML (Spanish)
• GET OUT OF THE MAZE WITH PROLOG AND PYTHON (Spanish)

Projects

• noworkflow Supporting infrastructure to run scientific experiments without a scientific workflow management system. http://gems-uff.github.io/noworkflow
• Super Pacman
• Pokemon Weak Detector
• Food Recommendations in Hyderabad, India Food Recommendation AI Expert System using a GUI hosted on Flask and a backend developed with PYSWIP and native Prolog
• pyswip_envctrl An environment control module expert system written in PySWIP.
• tic-tac-toe Tic-tac-toe game with AI in Prolog and GUI in Python (kivy framework + pyswip)
• TBM1 - "Getting to Know My Home"
• A script that enables use of a Prolog natural language parsing component to control a Scribbler II robot over bluetooth

Blog Posts

• Calling Prolog from Python
• Python v. Prolog: Round 1: Fight!

Contact

• [e-mail]
• https://twitter.com/tklx

License

Copyright (c) 2007-2018 Yüce Tekol

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.