Programmes par xsb.sf.net

  • XSB Gratuit

    Système de programmation logique et de base de données déductive (Prolog déposé) pour Unix et Windows.