My attempts at Prolog for Course Logic for Computer Science