Domains
	persona = symbol
Predicates
	le_gusta(persona,persona)
	
Clauses
	le_gusta(juan,maria).
	le_gusta(pedro,carla).
	le_gusta(jorge,maria).

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

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