[Nuevo] base de conocimientos de prolog