Domains
	nino = symbol
Predicates
	nino(symbol)
	juegan(nino,nino)
	
Clauses
	nino(a).
	nino(b).
	nino(c).
	juegan(X,Y):-nino(X),nino(Y),
		     X<>Y,write(X," juega vs. ",Y),
		     nl,fail.
		     
Goal
	juegan(S,T).

    Source: geocities.com/v.iniestra/apuntes/pro_log

               ( geocities.com/v.iniestra/apuntes)                   ( geocities.com/v.iniestra)