|Did you know ...||Search Documentation:|
|Pack purity -- README.md|
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:
person('Fred', age(23), gender(male))
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.