Аргументы недостаточно созданы в пункте / 2

#prolog #prolog Вопрос: я пытаюсь написать простой мета-интерпретатор для объединения в prolog, это то, что я получил до сих пор unify(A,B):-var(A),A=B. unify(A,B):-nonvar(A),var(B),B=A. unify(A,B):-compound(A),compound(B),A=..[F|ArgsA],B=..[F|ArgsB],unify_args(ArgsA,ArgsB). unify_args([A|TA],[B|TB]):-unify(A,B),unify_args(TA,TB). unify_args([],[]). meta(true). meta((A,B)):- meta(A),meta(B). meta(C):-clause(H,B), unify(H,C),…