Consider the following square: You are given three constraints: All rectangles (A, B, C, D and E) have the same area; Their geometric layout constitutes a square; and The height of A is 2. Now...

I read a brief article about Prolog and Logic Programming. I'm curious if Logic Programs can do algebra. Like would you be able to ask what the Variable of X is in the equation 5+X = 7 and get an a...

I'm playing around with constraints in (swi) prolog using the clpfd library. I'm trying to identify when one set of constraints encapsulates or subsumes the other, e.g. X<4 encapsulates X<7 ...