Purity: A Horn Clause Only library for Prolog
Unary Number Predicates
To use, import the following module
Unary is a valid unary number
add(UnaryA, UnaryB, Sum).
Sum is the value of UnaryA + UnaryB
mul(UnaryA, UnaryB, Product)
Product is the result of UnaryA * UnaryB
div(Divide, By, Quotient, Remainder)
Quotient is Divide / By and Remainder is the remainder part.
pow(Unary, Factor, Power)
Power is Unary^Factor
Unary is the punary version of String
String is a list of characters as per the
String is the
pstring version of Unary