Programas por xsb.sf.net

  • XSB Livre

    Sistema de programação lógica e banco de dados dedutivo (Prolog apresentado) para Unix e Windows.