gnu.prolog.vm.buildins.database
Class Predicate_asserta

java.lang.Object
  gnu.prolog.vm.ExecuteOnlyCode
      gnu.prolog.vm.buildins.database.Predicate_assert
          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