Получение терма, в котором переменные являются заглавными буквами на тау-прологе
В песочнице для Tau Prolog у меня есть:
:- dynamic(p/2).
p(X, Y):- q(X, Y).
test(Z):- clause(p(_, _), Z), numbervars(Z, 0, _).
Который с запросом
test(Z). дает:
Z = q('$VAR'(0),'$VAR'(1)).
Но вместо этого я хотел:
Z = q(A,B).
Я знаю, что в SWI Prolog я могу использовать формат /3, но не знаю, как этого добиться в Tau Prolog. Я специально ищу способ объединить
Z с участием
q(A,B), а не просто распечатать его в песочнице.
Приветствия /JCR