Turning on sicstus command in swipl SWI-prolog

10 Oct 2012 I started swi-prolog


swipl

and enter command:


expects_dialect(sicstus).

It allowed me to use code of Mr. Roman Bartak from his lectures -nice example of blackboard usage


sat_num(Query,_NumAnswers):-
    bb_put(counter,0),
    call(Query),
    bb_get(counter,N),
    N1 is N+1,
    bb_put(counter,N1),
    fail.