CatLog es un 'parser'/demostrador de teoremas, escrito en Prolog, que analiza frases en derivaciones lógicas, y les asigna representaciones semánticas. El objetivo de este trabajo era el de desarrollar una plataforma web ...