3rd year logic programming task: Applying some basic mathematical theorems with prolog.
Primary LanguageProlog