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