A question on transforming (some) logical program as a linear system of equalities/inequalities: Say proposition X=0 for false, X=1 for true, and likewise for all propositions, then X → Y (X leads to Y) can be written as - X + Y >= 0 As above, one may transform (some) logical program into a linea…

Solve logical program as a linear system of (in)equalities

brebs April 8, 2024, 9:25am 3

Yes - clpb.

Topic		Replies	Views
Solving Systems of Equations with Prolog Help!	15	1369	March 17, 2022
Algebra in Prolog Help!	2	942	February 10, 2020
{X + Y >= 1} fails - bug? Help! clpr	1	378	March 31, 2022
A logical reading in a specification on division on family of sets similar to division by 0 Discussion zdd , divide-by-zero	9	354	November 25, 2022
Comparison of negative and positive floating-point zero Help!	3	555	July 30, 2019