Domains
	elemento = symbol
Predicates
	valioso(elemento)
	
Clauses
	valioso(X):-X=oro.
	valioso(plata).
	valioso(bronce).
	

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

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