Vào lúc 12:33:10 UTC+7 ngày Thứ Sáu, 1 tháng 6, 2001, Qiong Cai đã viết:
Hi all,
Some codes from the book "First-Order logic
and Automated Theorem proving"(2nd) are as follows:
funcount(1).
newfuncount(N) :-
funcount(N),
retract(funcount(N)),
M is N + 1,
assert(funcount(M)).
reset :-
retract(funcount(_)),
assert(funcount(1)),
!.
But, when I actually call reset or newfuncount,
SWI-Prolog has a ERROR message:
ERROR: No permission to modify static procedure "funcount/1".
Could anyone tell me how to avoid this problem? Thanks
Yours
Qiong
I'm have to prove the equality of left and right neutral element of a semi group using PROLOG
here is my code:
m(m(x,y),z):- m(x,m(y,z)).
m(el,x)=x.
m(x,er)=x.
and the error is No permission to modify static procedure `(=)/2'
can some one please help me
Thanks so much
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)