Sistemas usados en "Inteligencia artificial" (2001-02)
SWI-Prolog
Clips