A Free Mathematical and Computational Software Directory

Packages tagged “logic programming“

Ciao

A Prolog development system

Tags: logic, logic programming.

Homepage: http://clip.dia.fi.upm.es/Software/Ciao/

SWI-Prolog

A comprehensive Free Software Prolog environment

Tags: logic, logic programming.

Homepage: http://www.swi-prolog.org/