Package jason.stdlib

Class rename_apart

All Implemented Interfaces:
InternalAction, Serializable

@Manual(literal=".rename_apart(labels[,source])", hint="replace the variable by unused named, to avoid clash", argsHint="", argsType="", examples=".rename_apart(b(X,Y,a), R): R will unifies with b(_33_X,_34_Y,a)", seeAlso="") public class rename_apart extends DefaultInternalAction

replace the variable by unused named, to avoid clash.

Examples:

  • .rename_apart(b(X,Y,a), R): R will unifies with b(_33_X,_34_Y,a).
See Also: