All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.lib.retract_1

java.lang.Object
   |
   +----prolog.Predicate
           |
           +----prolog.lib.retract_1

public class retract_1
extends Predicate
retract/1: Removes a clause from a predicate.

retract(pred_name(x1, x2, ..., xn)) or retract(':-'(Head, Body)).

Note that pred_name must be bound to a Compound (although it's arguments may be unbound). The argument is unified with the retracted clause.

See Also:
abolish_1, asserta_1, assertz_1

Constructor Index

 o retract_1()

Method Index

 o redo(Term[], Prolog, ChoicePoint)
Redo a goal, i.e.
 o toString()
 o unify(Term[], Prolog)
Resolve the given goal in the context of a Prolog engine.

Constructors

 o retract_1
 public retract_1()

Methods

 o unify
 public boolean unify(Term args[],
                      Prolog p) throws ArgumentException
Resolve the given goal in the context of a Prolog engine.

Overrides:
unify in class Predicate
 o redo
 public boolean redo(Term args[],
                     Prolog p,
                     ChoicePoint cp) throws ArgumentException
Redo a goal, i.e.

Overrides:
redo in class Predicate
 o toString
 public String toString()
Overrides:
toString in class Predicate

All Packages  Class Hierarchy  This Package  Previous  Next  Index