Discover a set of Facts

General
1

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 ?

2

it is unclear what the notation you used means and what is the question.

What do X and X’ represent?

How can what be done exactly?

You need to explain the different notations you used and what mathematical operation you’re trying to verify

2 Likes