Constrained Functions

A function may be defined by a set of constraints. Calling the function invokes the constraints on the variable.

Traditional logic programming using Horne Clauses is then not required. Unification is also not required.

Links

 * Constraint Logic Programming Theory
 * Symbolic Logic Systems
 * Intelligence and Reasoning