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
-
_has_type_2()
-
-
exec(Term[], Prolog)
- Implements the functionality of the call.
_has_type_2
public _has_type_2()
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