如何用prolog解决布尔逻辑方程？

Question

例如，如果我有一个表达式“C = A和B”，我想创建某种类型的谓词

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

称之为

solv(A, true, true).

这样Prolog会说“B是真的”。请帮忙。

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).