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

USE Flags

debug
Global: Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see http://www.gentoo.org/proj/en/qa/backtraces.xml
doc
Global: Adds extra documentation (API, Javadoc, etc)
examples
Global: Install examples, usually source code
pcre
Global: Adds support for Perl Compatible Regular Expressions
pedro
Global: Pedro subscription/notification communications system
Local: Pedro subscription/notification communications system
qt5
* This flag is undocumented *
readline
Global: Enables support for libreadline, a GNU line-editing library that almost everyone wants
threads
Global: Adds threads support for various packages. Usually pthreads