Logical Programming Project in SWI-Prolog