Pro_TrailMark 1.4

io.github.JalogTeam.jalog
Class Pro_TrailMark

java.lang.Object
  extended by io.github.JalogTeam.jalog.Pro_TrailMark

public class Pro_TrailMark

When the current top of the trail is enquired the result is returned as a Pro_TrailMark object. Later this object can be used to retract all unifications performed that enquire.

See documentation of Pro_Trail for details.

Authors: Mikko Levanto, Ari Okkonen