Domains
	persona = symbol
Predicates
	persona(symbol)
	rasura(persona,persona)
	
Clauses
	persona(barbero).
	rasura(juan,juan).
	rasura(barbero,X):-not(rasura(X,X)).

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

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