Did you know ... | Search Documentation: |
![]() | Packs (add-ons) for SWI-Prolog |
Title: | A Horn Clause Only library for Prolog |
---|---|
Rating: | Not rated. Create the first rating! |
Latest version: | 0.2.1 |
SHA1 sum: | 16953fc3d470109e9786aa6fef7ae4a3719cfd89 |
Author: | Neil Hoskins https://buslogic.pro |
Maintainer: | Neil Hoskins https://buslogic.pro |
Packager: | Neil Hoskins https://buslogic.pro |
Home page: | https://github.com/da-poodle/purity |
Download URL: | https://github.com/da-poodle/purity/releases/*.git |
No reviews. Create the first review!.
Version | SHA1 | #Downloads | URL |
---|---|---|---|
0.1.0 | 009edfb0f20ae3f44a39922bf3c9b545582a5c3d | 1 | https://github.com/da-poodle/purity.git |
0.1.1 | 45b5da96fa18f3b8d71de3133e3d85bf508e9a6e | 1 | https://github.com/da-poodle/purity.git |
0.1.2 | befff9fba916dccf5fb7d3feefe8d9435f8dadc9 | 1 | https://github.com/da-poodle/purity.git |
0.1.3 | 5269b612545c30612804554e7e0eb434280ff82c | 10 | https://github.com/da-poodle/purity.git |
0.2.1 | 16953fc3d470109e9786aa6fef7ae4a3719cfd89 | 1 | https://github.com/da-poodle/purity.git |
A Horn Clause only library for Prolog.
For more detailed documentation and API reference see: https://buslogic.pro/content/purity
Prolog was designed with a minimal set of operations and structures in mind, the following is all you need to make up any Turing Complete program:
a
12
'Hello, World'
a(b)
person('Fred', age(23), gender(male))
mortal(socrates).
alive(X) :- not_dead(X).
Purity aims to implement ways to do the same things as Prolog programs that use a cut operator, but by only using the basic Horn clause opererations.
Pack contains 11 files holding a total of 50.6K bytes.