Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD