| Extended Prolog supporting quantifiers, object-variables and substitutions | |
| http://staff.itee.uq.edu.au/pjr/HomePages/QuPrologHome.html | |
| qu-prolog-10.7 | Apache-2.0 GPL-2+ |
| download~amd64 ~ppc ~x86 | gentoo |
| qu-prolog-10.6 | Apache-2.0 GPL-2+ |
| downloadamd64 ppc x86 | gentoo |