Describir: PROLOG for computer science /