Meta-level Programming

See separate sub-section on typing.

Contents

• unique_soln/2

• How to Implement Quantifiers?

• Problems with bagof/3

• Findall/3 Without Copying?

• Ground Representation

• Free Variables in set_of/3

• call/N

• Freeze/findall Interaction

• Minimum Value of a Predicate?

• Implementation of findall