% FCTEST

:- spouse(P1,P2) => add(spouse(P2,P1)).
:- spouse(P1,P2) =/> remove(spouse(P2,P1)).
:- add(spouse(adam,eve)).

:- a(X), b(X), c(X) => add(d(X)).