Package "purity"

Title:	A Horn Clause Only library for Prolog
Rating:	Not rated. Create the first rating!
Latest version:	0.2.1
SHA1 sum:	434f7f808e754b6aabffcc7ec0fdba57aa7f3a7c
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

Reviews

No reviews. Create the first review!.

Details by download location

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
	434f7f808e754b6aabffcc7ec0fdba57aa7f3a7c	1	https://github.com/da-poodle/purity.git

Purity

A Horn Clause only library for Prolog.

For more details documentation see the docs folder

Overview

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:

• Atoms:
  • a
  • 12
  • 'Hello, World'
• Compound terms
  • a(b)
  • person('Fred', age(23), gender(male))
• Variables:
  • A
  • Varname
• Facts:
  • mortal(socrates).
• Rules:
  • alive(X) :- not_dead(X).
• Conjunctions:
  • A, B.
• Disjunctions:
  • A ; B.
• True
• Fail The modern Prolog language has added a number of new operations on top of these, but they all involve using the cut (!) operator, which is impure.

  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 operations.

Contents of pack "purity"

Pack contains 23 files holding a total of 71.8K bytes.