Tek-Tips is the largest IT community on the Internet today!
Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!
-
Congratulations IamaSherpa on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!
-
How to state Var > 0?
Sorry, but I need to state reverse implication: Val >=0 <= memb(Index, Addr, Val). It is like type definition in C language. If Val is type DWORD then it is higher then 0. I'm trying to state type of memb. -
How to state Var > 0?
Do I need to define own implication => and state: memb(Index, Addr, Val) => Val >= 0. ? -
How to state Var > 0?
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.
