simply prolog scripts for labs