mahler@latcs1.oz.au (Daniel Mahler) (11/19/90)
Does anyone have examples of the catch/throw mechanism being used in prolog? Can it be used to implement the cut in a meta-interpreter? Can any other nu-prolog mechanism do this? Most texts give examples of this using ancestor cut which nu-prolog does not seem to have. thanks Daniel Mahler