Thanks. Declaring input_cw(smokes/1) fixes the error.
One question I have is whether it is possible to use facts loaded into SWI-Prolog as background knowledge. If so, how? This is what I tried so far:
:- begin_bg.
consult('db.pl').
:- end_bg.
But the above doesn’t seem to work as the parameters aren’t learned. What I’m looking for generally is a way to decouple background knowledge declaration and metaexample interpretations into separate files. Even better if cplint can use facts already loaded in the top-level during learning. Is there a way to specify this?
EDIT
I’m able to separate the background knowledge and the model file by adding the :- begin_bg and :- end_bg directives to the db.pl instead of the file that defines the model.