All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----prolog.Predicate | +----prolog.CompiledPredicate | +----prolog.lib._type_def_2
Type ::= Component1, Component2, ...
where each Component is a disjunctive component of this Type.
See "A Polymorphic Type System for Prolog" - Mycroft and O'Keefe, Artificial Intelligence 23 (1984) 295-307.
The syntax of Components is as follows:
Component -> Constructor Types Types -> (empty) -> "(" Types' ")" Types' -> Type -> Types' "," Type Type -> "Numeric" | "Binding" | Variable
public _type_def_2()
public boolean exec(Term args[], Prolog p) throws ArgumentException
All Packages Class Hierarchy This Package Previous Next Index