Search found 2 matches

by drago
Sun Dec 16, 2018 7:28 am
Forum: Language Issues
Topic: IMPLIES via IF THEN
Replies: 1
Views: 17518

IMPLIES via IF THEN

Hi, I suggest adding IMPLIES keyword to the language (having EQUIV but not IMPLIES is strange) and/or adding the following IF-THEN >>Boolean expression<< simple forms (default ELSE to TRUE in case q is Boolean): IF p THEN q = IF p THEN q END IF = IF p THEN q ELSE true END IF (the need for the traili...
by drago
Sun Dec 16, 2018 5:59 am
Forum: Language Issues
Topic: Why is NOT IN not interpreted
Replies: 1
Views: 9134

Why is NOT IN not interpreted

Hi, currently NOT IN is not supported. I see no reason for this. For example the following query is not valid: P WHERE TUPLE {weight weight} NOT IN (P WHERE city = 'Paris'){ weight} and has to written as: P WHERE NOT (TUPLE {weight weight} IN (P WHERE city = 'Paris'){ weight}) Could this be added ? ...