gpo.zugaina.org

Search Portage & Overlays:

dev-lang/qu-prolog

Extended Prolog supporting quantifiers, object-variables and substitutions

Screenshots

  • qu-prolog-10.7
    ~amd64 ~ppc ~x86
    debug doc examples pcre pedro qt5 readline threads

    View      Download      Browse     License: Apache-2.0 GPL-2+   
    Overlay: gentoo
  • qu-prolog-10.6
    amd64 ppc x86
    debug doc examples pedro qt5 readline threads

    View      Download      Browse     License: Apache-2.0 GPL-2+   
    Overlay: gentoo