Prolog - Programming Languages Concepts - CS431