Or use Dogelog Player:
/* Dogelog Player */
'$MARK'(CP) : Get a choicen point.
'$CUT'(CP) : Cut to a choice point.
But I don't have soft cut. But you can do
ancestral cut with it. SWI-Prolog has something
similar burried somewhere, they are called:
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 491 |
Nodes: | 16 (2 / 14) |
Uptime: | 147:11:27 |
Calls: | 9,694 |
Calls today: | 4 |
Files: | 13,732 |
Messages: | 6,178,671 |