gnu.prolog.vm.buildins.database
Class Predicate_assert
java.lang.Object
   gnu.prolog.vm.ExecuteOnlyCode
gnu.prolog.vm.ExecuteOnlyCode
       gnu.prolog.vm.buildins.database.Predicate_assert
gnu.prolog.vm.buildins.database.Predicate_assert
- All Implemented Interfaces: 
- Installable, PrologCode
- Direct Known Subclasses: 
- Predicate_asserta, Predicate_assertz
- public abstract class Predicate_assert 
- extends ExecuteOnlyCode
prolog code
 
 
 
 
 
| Methods inherited from class java.lang.Object | 
| clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
 
Predicate_assert
public Predicate_assert()
assertPred
protected abstract void assertPred(Predicate p,
                                   CompoundTerm clause)
- assert a clause
 
- 
- Parameters:
- p-
- clause-
 
execute
public int execute(Interpreter interpreter,
                   boolean backtrackMode,
                   Term[] args)
            throws PrologException
- Description copied from interface: PrologCode
- this method is used for execution of code
 
- 
- Specified by:
- executein interface- PrologCode
- Specified by:
- executein class- ExecuteOnlyCode
 
- 
- Parameters:
- interpreter- interpreter in which context code is executed
- backtrackMode- true if predicate is called on backtracking and false otherwise
- args- arguments of code
- Returns:
- either SUCCESS, SUCCESS_LAST, or FAIL.
- Throws:
- PrologException
 
prepareBody
public static Term prepareBody(Term body,
                               Term term)
                        throws PrologException
- 
- Throws:
- PrologException