All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.lib.halt_1

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

public class halt_1
extends CompiledPredicate
halt/1: Exit the prolog system, with an exit code.


Constructor Index

 o halt_1()

Method Index

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

Constructors

 o halt_1
 public halt_1()

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