Sistemas usados en "Inteligencia artificial II" (99-00)
SWI-Prolog
Clips