All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----prolog.Predicate | +----prolog.lib.retract_1
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.
public retract_1()
public boolean unify(Term args[], Prolog p) throws ArgumentException
public boolean redo(Term args[], Prolog p, ChoicePoint cp) throws ArgumentException
public String toString()
All Packages Class Hierarchy This Package Previous Next Index