[c3d]

There is no backtracking, but being able to implement Prolog on an XL basis was an important part of the original design of the "runtime" version of XL.