Text this: Prolog versus you. An introduction to logic programming /