All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.lib._has_type_2

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

public class _has_type_2
extends CompiledPredicate
_has_type/2: Defines a predicate to have a specified type.

Predicate/Arity :: Arg1Type, Arg2Type, ...

See Also:
TypeDictionary, _type_def_2, listtypes_0

Constructor Index

 o _has_type_2()

Method Index

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

Constructors

 o _has_type_2
 public _has_type_2()

Methods

 o exec
 public boolean exec(Term args[],
                     Prolog p) throws PrologException
Implements the functionality of the call.

Overrides:
exec in class CompiledPredicate

All Packages  Class Hierarchy  This Package  Previous  Next  Index