Hello,

I would verifery the following mathematics:

```
is: X := 1. and: X' := 1. => yes/no => undecl.
is: X := 0. and: X' := -1. => wrong
is: X := 0. and: X' := |-1|. => right
is: X := 0. and: X' := 0. => yes/no => neutral Object
is: X := -1. and: X' := 0. => right
is: X := |-1|. and: X' := |-1|. => yes/no => undecl
is: X := 0. and: X' := oo. => yes/no => undecl
is: X := oo. and: X' := oo. => yes/no => undecl
is: X := oo_1. and: X' := oo_2. => yes/no => undecl
is: X := 1. and: X' := 2. => is right
```

how can this be done in Prolog ?