Logic programming:proceedings of the fifth international conference and symposium - Kowalski, Robert A., ed; Bowen, Kenneth A., ed (Massachusetts MIT, 1988)