Why Prolog? justifying logic programming for practical applications - Lazarev, Gregory L. (Prentice Hall, 1989)