All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.lib._type_def_2

java.lang.Object
   |
   +----prolog.Predicate
           |
           +----prolog.CompiledPredicate
                   |
                   +----prolog.lib._type_def_2

public class _type_def_2

extends CompiledPredicate

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
 

See Also:

TypeDictionary, _has_type_2, listtypes_0

_type_def_2()

exec(Term[], Prolog)

Implements the functionality of the call.

 public _type_def_2()

 public boolean exec(Term args[],
                     Prolog p) throws ArgumentException

Implements the functionality of the call.

Overrides:

exec in class CompiledPredicate

All Packages  Class Hierarchy  This Package  Previous  Next  Index