qu-prolog

Description:Extended Prolog supporting quantifiers, object-variables and substitutions
Homepage:http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
10.1 - + - - - - - + - - - - +

USE flags

  • debug - Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
  • doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
  • examples - Install examples, usually source code
  • pedro - Pedro subscription/notification communications system
  • qt4 - Add support for the Qt GUI/Application Toolkit version 4.x
  • qt5 - Add support for the Qt 5 application and UI framework
  • readline - Enable support for libreadline, a GNU line-editing library that almost everyone wants
  • threads - Add threads support for various packages. Usually pthreads

Also available in: Atom

Thank you!