Lecture notes in artificial intelligence Logic programming'88 ; v.383