Пролог частичное правильное соответствие

Question

Можно ли частично совместить правило в прологе?

a(b) :- k(c),k(d).
a(e) :- k(g),k(d).

Так, зная, что k(d):-true. это как-то можно получить & е Аргументы B?

Answer 1

я, наконец, сделал то, что я хотел, и он идет, как это (swi_prolog), где правило это имя правила для проверки

true_check([_,H,B]):- 
    call(H)->true;B=..L,true_check(L). 
true_check([B]) :- 
    call(B)->true;false. 

possible(Rule):- 
    current_predicate(rule,Head), 
    clause(Head,B), 
    B=..I, 
    true_check(I), 
    Head=..[_,Rule].