scistus prolog and clause

From: Anton (vahcica_at_email.si)
Date: 03/16/04 

Date: 16 Mar 2004 12:15:30 -0800

I have a problem with clause in sicstus prolog.

In theory something like clause(member(X,L),Body) should work, however
 I got answer:
!Permission error: cannot access static user:member/2
! goal: clause(user:member(_79,_80)_86)

Any ideas?

Of course I consult my program where member is defined as
(clasically):
member(X, [X|_]).
member(X, [_|L]) :- member(X, L).

Lp,
Anton, ml.

Relevant Pages