Title: PROLOG for Computer Science