habla_con.pro

habla(allen, ruso).				% conjunto de 4 hechos
habla(bob, ingles).
habla(mary, ruso).
habla(mary, ingles).

habla(ok, _):- !.				% clausula utilizada para detener el backtrack

habla(P1, P2):-					% esta es una regla
	habla(P1, L),
	habla(P2, L),
	P1 \= P2.				% simbolo de diferente

todos:- habla(X, _), writeln(X), fail.		% ejemplo de fail el cual obliga a obtener otro dato de las hechos