PROLOG for Computer Science