gpiancastelli / prologlib Goto Github PK
View Code? Open in Web Editor NEWAn ISO Prolog processor written in Python 3
License: BSD 2-Clause "Simplified" License
An ISO Prolog processor written in Python 3
License: BSD 2-Clause "Simplified" License
prologlib is an ISO Prolog processor written in Python 3. It aims at providing an open source Prolog implementation that strictly follows the non-free ISO standard document (ISO/IEC 13211-1), from execution model to builtin predicates and functors. Usage: $ hg clone http://bitbucket.org/gpiancastelli/prologlib/ $ cd prologlib $ python3.1 toplevel.py Besides toplevel.py, in the project root you will also find the test.py script, used to drive the execution of unit/acceptance tests for prologlib. If you run it without arguments, test.py executes all the tests in the tests subdirectory, showing results that should include no failures. You will note, however, that some tests are skipped: typically, they involve some unimplemented feature. You may also run test.py providing the name of a single test file, to execute only that set of tests. For example: $ test.py builtin-predicates $ [...executing tests in tests/test-builtin-predicates.py...] $ test.py parser $ [...executing tests in tests/test-parser.py...] No real API is provided. If you want to integrate prologlib into Python code, have a look at how prologlib.ui uses prologlib.core.Engine. Source code includes some examples of Prolog code, to be found in the subdirectory examples. Those include classic Prolog benchmarks, stored in their own subdirectory. BE WARNED! prologlib is extremely slow. It's unlikely that you will find it to be suitable for serious (and less serious) work. prologlib's code is distributed under the BSD license. If you are interested in prologlib's development, please visit prologlib's site on Bitbucket and take advantage of the available tools. Any comment or feedback that does not fit into Bitbucket facilities should be addressed to: <[email protected]>
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.