Enter any predicates, functions, or constants which should be defined, along with the number of arguments each predicate or function should take (e.g. "Happy 1" or "Loves 2"). The click "Generate". Or choose from one of the presets.
Predicates:
Infix Predicates:
Functions:
Constants:
Generate