[comp.lang.prolog] catch/throw in

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