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_def/2: Introduce a new type.

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

Constructor Index

 o _type_def_2()

Method Index

 o exec(Term[], Prolog)
Implements the functionality of the call.

Constructors

 o _type_def_2
 public _type_def_2()

Methods

 o exec
 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