dev-lang/
qu-prolog

Extended Prolog supporting quantifiers, object-variables and substitutions

http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
10.2 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ~ppc ppc64 sparc
10.1 : 0 amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc

Package Metadata

Changelog