как использовать подвыражения

Question

Hello StackOverflow сообщества, У меня есть код пролога, который создает подвыражения для таблицы истинности а затем дают им значение истины/лжи хорошо его работает отлично для многих выражений, но с помощью этого заявления это происходит

1 ?- phrase(subexprs(bicond(and(impl(A,B),impl(B,A)),bicond(A,B))),Subexprs), bindList([A,B]), maplist(expr_value, Subexprs, Values). 
A = B, B = true, 
Subexprs = [true impl true, true impl true, (true impl true)and(true impl true), true bicond true, **(true impl true)and(true impl true)bicond(true bicond true)**], 
Values = [true, true, true, true, false] . 

последнее значение не то, что должно быть напечатано все выражение должно быть напечатано вместо который bicond ((правда осущ правда) и (правда, осущ правда), bicond правда)

вот мой код

and(A,B) :- A, B. 
or(A,_) :- A. 
or(_,B) :- B. 
equ(A,B) :- or(and(A,B), and(not(A),not(B))). 
xor(A,B) :- not(equ(A,B)). 
nor(A,B) :- not(or(A,B)). 
nand(A,B) :- not(and(A,B)). 
impl(A,B) :- or(not(A),B). 
bicond(true,true):-true. 
bicond(true,false):-false. 
bicond(false,true):-false. 
bicond(false,false):-true. 


:- op(900, fy,not). 
:- op(910, yfx, and). 
:- op(910, yfx, nand). 
:- op(920, yfx, or). 
:- op(920, yfx, nor). 
:- op(930, yfx, impl). 
:- op(930, yfx, equ). 
:- op(930, yfx, xor). 
:- op(910, yfx, bicond). 


subexprs(V) --> 
    { var(V), ! }, 
    []. 
subexprs(and(L, R)) --> 
    subexprs(L), 
    subexprs(R), 
    [and(L, R)]. 
subexprs(or(L, R)) --> 
    subexprs(L), 
    subexprs(R), 
    [or(L, R)]. 
subexprs(impl(L, R)) --> 
    subexprs(L), 
    subexprs(R), 
    [impl(L, R)]. 
subexprs(nand(L, R)) --> 
    subexprs(L), 
    subexprs(R), 
    [nand(L, R)]. 
subexprs(nor(L, R)) --> 
    subexprs(L), 
    subexprs(R), 
    [nor(L, R)]. 
subexprs(xor(L, R)) --> 
    subexprs(L), 
    subexprs(R), 
    [xor(L, R)]. 
subexprs(bicond(L, R)) --> 
    subexprs(L), 
    subexprs(R), 
    [bicond(L, R)]. 


expr_value(Expr, true) :- 
    call(Expr), 
    !. 
expr_value(_Expr, false). 

bind(true). 
bind(false). 
bindList([]). 
bindList([V|Vs]) :- bind(V),bindList(Vs). 

я считаю, что неправильно часть оп , но я не знаю, как это исправить

Answer 1

С текущего определения bicond/2, вызов bicond((true impl true)and(true impl true), bicond(true, true)) потерпит неудачу: bicond/2 ожидает от каждого из своих аргументов, чтобы унифицировать с срок true или false. Но вы называете это сложными терминами.

Вместо этого вы должны переписать определение, чтобы «оценить» его операнды, точно так же, как в определении equ/2.