Search found 2 matches
- Sun Dec 16, 2018 7:28 am
- Forum: Language Issues
- Topic: IMPLIES via IF THEN
- Replies: 1
- Views: 22894
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...
- Sun Dec 16, 2018 5:59 am
- Forum: Language Issues
- Topic: Why is NOT IN not interpreted
- Replies: 1
- Views: 11326
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 ? ...