GNU Prolog for Java

gnu.prolog.vm.buildins.database
Class Predicate_asserta

java.lang.Object
  extended by gnu.prolog.vm.ExecuteOnlyCode
      extended by gnu.prolog.vm.buildins.database.Predicate_assert
          extended by gnu.prolog.vm.buildins.database.Predicate_asserta
All Implemented Interfaces:
Installable, PrologCode

public class Predicate_asserta
extends Predicate_assert

prolog code


Field Summary
 
Fields inherited from interface gnu.prolog.vm.PrologCode
FAIL, HALT, SUCCESS, SUCCESS_LAST
 
Constructor Summary
Predicate_asserta()
           
 
Method Summary
protected  void assertPred(Predicate p, CompoundTerm clause)
          assert a clause
 
Methods inherited from class gnu.prolog.vm.buildins.database.Predicate_assert
execute, prepareBody
 
Methods inherited from class gnu.prolog.vm.ExecuteOnlyCode
install, uninstall
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Predicate_asserta

public Predicate_asserta()
Method Detail

assertPred

protected void assertPred(Predicate p,
                          CompoundTerm clause)
assert a clause

Specified by:
assertPred in class Predicate_assert

GNU Prolog for Java