:- op(1000,fx,either).
:- op(500,xfy,or).

either(A or B):-
	(A->First is 1;First is 0),
	(B->Second is 1;Second is 0),
	1 is First+Second.