PySWIP
Details
| Last Update: | 2008-02-08 05:01:21 |
| Version: | 0.2.2 |
| License/Program Type: | GPL (GNU General Public License) |
| Publisher: | Yuce Tekol |
| Price: | $0.00 |
Description:
PySWIP application is a Python/SWI-Prolog bridge that enables
you to query in prolog using SWI-Prolog in your Python
programs.
Requirements:
· Python 2.3 and higher (most probably other versions
will also work).
· ctypes 0.9.9.9 and higher (most probably other
versions will also work).
· SWI-Prolog 5.6.x and higher(most probably other
versions will also work).
· libpl as a shared library.
· Tested only on Linux, should be working for other
POSIX and Win32.
Installation:
PySWIP should work on Win32 systems, but this isn't tested.
The instructions below are for POSIX systems.
+ First of all, you need to have SWI-Prolog's libpl as a
shared library, e.g., ``libpl.so``, ``libpl.so.5.6.34``, etc.
SWI-Prolog isn't compiled by default to enable shared library, so
you need to compile it yourself with shared library production
enabled. Please see ``INSTALL`` of this package.
+ Install a recent version of `ctypes` if you don't have it
already (if you have Python 2.5 you don't need to install it
seperately).
+ PySWIP supports distutils, so after the previous steps are
satisfied, just do: `python setup.py install`.
+ To test, do the following at the shell::
$ python
[ ... python info ...]
>>> from pyswip.util import PrologRunner
>>> prolog = PrologRunner()
>>>
prolog.query("assertz(father(michael,john))")
[{}]
If you get an error, such as "libpl (shared) not found." or
"FATAL ERROR: Resource not found" be sure you have installed
SWI-Prolog as a share library. Check your default library directory
(usually ``/usr/lib``) for ``libpl.so``.
What's New in This Release:
· PySWIP won't rely on the (id of the) functor handle
of "=/2".
· A patch to allow PySWIP to work on Mac OS X was
incorporated.
0 comments
Add to
PySWIP Version History
Related Software
|
|
From category: Artificial-Intelligence |
| icsiboost implements Adaboost over stumps on discrete and continuous attributes.... |
|
|
From category: Chemistry |
| Bist 0.4.4 is chemistry software developed by Valerio Benfante. Bist stands for bidimensional structures (in italian it sounds like \"beast\" in english ) and is a chemical drawing tool. It is focu... |
|
|
From category: Artificial-Intelligence |
| Cypher generates the .rdf (RDF graph) and .serql (SeRQL query) representation of a plain language input.... |
|
|
From category: Mathematics |
| ATLAS 3.7.23 is mathematics software developed by R. Clint Whaley. ATLAS (Automatically Tuned Linear Algebra Software) project is an ongoing research effort focusing on applying empirical technique... |
|
|
From category: Visualization |
| FXPlot is a small set of widgets for scientific plotting in 2D.... |
|
|
From category: Mathematics |
| FrAid is an interface to Java for math processing and a complete Matlab-like system.... |
|
|
From category: Artificial-Intelligence |
| CharGer 3.4b2 is artificial intelligence software developed by Harry Delugach. CharGer is a conceptual graph editor intended to support research projects and education. Its current version is prima... |
|
|
From category: Mathematics |
| galculator 1.2.5.2 is mathematics software developed by Simon Floery. galculator is a GTK 2 based calculator with ordinary notation/reverse polish notation, a formula entry mode, different number b... |
|
|
From category: Electronic-Design-Automation |
| Confluence System Design Language 0.10.4 is electronic design automation ( software developed by Tom Hawkins. Confluence is a language for synchronous reactive system design. A Confluence program c... |
|
|
From category: Visualization |
| Cassandra 2.1 is visualization software developed by Artenum. Cassandra is a VTK/Java based 3D Scientific Data Viewer. Cassandra is a modular and advanced 3D scientific data viewer. Cassandr... |
|
|
From category: Artificial-Intelligence |
| Evolvica 0.6.3.2 is artificial intelligence software developed by Andreas Rummler. Evolvica is a Java Framework for evolutionary algorithms. It is the successor of eaLib, which has been developed a... |
|
|
From category: Mathematics |
| Maxima is a computer algebra system.... |
|
|
From category: Visualization |
| JDiveLog is a logbook for scuba diving.... |
|
|
From category: Mathematics |
| JACAL is an interactive symbolic mathematics program.... |
|
|
From category: Image-Recognition |
| Archimedes 0.0.4 is image recognition software developed by Jean Michel Sellier. GNU Archimedes is the GNU package for the design and simulation of submicron semiconductor devices. Archimedes is a... |
Leave a comment