[poe] Issue: not all contraint operators are logical operators marked as Model

riannella has just labeled an issue for https://github.com/w3c/poe as "Model":

== not all contraint operators are logical operators ==
http://w3c.github.io/poe/model/#constraint: 
> Constraints can be represented as Atomic Constraints - in which the left and right operands are **logically compared** - or as Compound Constraints in which the left and right operands are existing Atomic Constraints, **which are also logically compared**.

that's wrong, you can't use logical operators in atomic constraints.

Relational operators [1]:
```
    < : less than
    <= : less than or equal to
    > : greater than
    >= : greater than or equal to
    == : equal to
    /= : not equal to
```

Logical operators [2]:
```
    .NOT. : logical not
    .AND. : logical and
    .OR. : logical or
    .EQV. : logical equivalence
    .NEQV. : logical not equivalence
```

[1] http://www.cs.mtu.edu/~shene/COURSES/cs201/NOTES/chap03/relational.html
[2] http://www.cs.mtu.edu/~shene/COURSES/cs201/NOTES/chap03/logical.html

--------------

Also 

> A Rule becomes effective if all of **its Constraints are satisfied**. 

:+1: 

> If the logical expression evaluates to true **the result of the Constraint is satisfied**. 

:-1: (the constraint is satisfied, not its result)

See https://github.com/w3c/poe/issues/194

Received on Monday, 19 June 2017 00:34:32 UTC