qu-prolog

Description:Extended Prolog supporting quantifiers, object-variables and substitutions
Homepage:http://staff.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.7 diff - ~ - - - - - ~ - - - - ~
10.6 - + - - - - - + - - - - +

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
  • pcre - Add support for Perl Compatible Regular Expressions
  • pedro - Pedro subscription/notification communications system
  • 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!