Added support for the cut operator.
Additions to the Implementation chapter.
Fixed a bug where cut did not eliminate all choice points that it should.
Fixed a bug where cut did not eliminate all choice points that it should.
Added a fail/0 built-in predicate.
Improved debug code to specify the arity of called functions.