11.1.4.1 Simple Types

The simple argument types are those for which type tests are provided. They are summarized in mpg-top-typ.

If an output argument is given the type var, then it means that that argument is not used by the predicate in the given instantiation pattern.


Send feedback on this subject.