Programma's van xsb.sf.net

  • XSB Gratis

    Logic Programming and Deductive Database system (Tabled Prolog) voor Unix en Windows.