Did you know ... | Search Documentation: |
Pack purity -- README.md |
A Horn Clause only library for Prolog.
For more details documentation see the docs folder
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 operations.