dev-lang/qu-prolog
Extended Prolog supporting quantifiers, object-variables and substitutions
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.