[comp.lang.prolog] SICSTUS warning question

raan@TAURUS.BITNET (02/24/91)

In some prologs, there is a warning and trap to debugger,
when the program encounters an undefined procedure.  This
is the case in SICSTUS.

Does anybody know how, if at all, this behavior can be shut off
in SICSTUS Prolog?

The reason for this question, if you are curious, is that a friend
of mine is writing a program in propositional prolog, and it
is not knowe in "advance" what procedures will be defined, so
it is not possible to define proc :- fail for each of them.

Thanks

-- Ran

ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) (02/26/91)

In article <2397@taurus.BITNET>, raan@TAURUS.BITNET writes:
> Does anybody know how, if at all, [undefined predicate warnings]
> can be shut off in SICSTUS Prolog?

It's in the manual.  SICStus Prolog is Edinburgh-compatible, so it
provides the Edinburgh Prolog command unknown/2.  All you have to do is
	?- unknown(_Dont_Care_What_It_Was, fail).

-- 
The purpose of advertising is to destroy the freedom of the market.