catchAndThrowTheoryExample
The database used in Prolog standard while writing examples for Catch
p.
p :- throw(b).
r(X) :- throw(X).
q :- catch(p, B, true), r(c).Content copied to clipboard
The database used in Prolog standard while writing examples for Catch
p.
p :- throw(b).
r(X) :- throw(X).
q :- catch(p, B, true), r(c).