prolog - プロローグでブール論理方程式を解く方法は?

Question

たとえば、「C = A and B」という式がある場合、次のような述語を作成したいとします。

solv(A, B, C) := C is A, B.

のように呼ぶ

solv(A, true, true).

Prolog が「B is true」と言うようにします。助けてください。

Answer 1

のように見える

and(A, B, R) :- A = true, B = true, R = true.
or(A, B, R) :- (A = true ; B = true), R = true.
solve(A, B, C, Result) :- or(A, B, R1), and(R1, C, Result).