qu-prolog

Описание:Qu-Prolog is an extended Prolog supporting quantifiers, object-variables and substitutions
Лицензия: as-is
Домашняя страница:http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html
Расположение:Portage
Последнее изменение: 01 February 2012; Brent Baude
qu-prolog-9.1.ebuild:
Marking qu-prolog-9.1 ppc for bug 398815
Все изменения
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
9.1 - + - - - - - + - - - - +

USE флаги

  • debug - 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 - Adds 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 - Adds support for the Qt GUI/Application Toolkit version 4.x
  • readline - Enables support for libreadline, a GNU line-editing library that almost everyone wants
  • threads - Adds threads support for various packages. Usually pthreads

Экспортировать в Atom

Спасибо!