pedro

Name Category Description
qu-prolog dev-lang Extended Prolog supporting quantifiers, object-variables and substitutions

Thank you!