Programas por xsb.sf.net

Sistema de programación lógica y base de datos deductiva (Prolog con tabla) para Unix y Windows.