i need to state in prolog that memb[index][addr] > 0
I write:
Val >= 0 :-
memb(Index, Addr, Val).
But swi prolog says: ERROR No permission to modify static_procedure `(>=)/2'
What is workaround of this mistake? Thank you.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.