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.

Contents 1 A function is an object 2 An object is parameterised by values 3 Constraints on the Function Result 4 Links

[edit] A function is an object

[edit] An object is parameterised by values

[edit] Constraints on the Function Result

[edit] Links

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