Chess, Aristotel syllogisms and other prolog sampes
Primary LanguageProlog
This repository is not active