老刘1号

凑个热闹，prolog

:- initialization(main).
main :- a(A), b(B), C is abs(A - B), C #= B - A, write('A='), write(A), write(' B='), write(B), nl, fail.
a(5).
a(-5).
b(3).
b(-3).
复制代码