Logic programming : systematic program development - Deville, Yves (Wokingham, England : Addison-Wesley, 1990)
Keywords: Computer programming; Logic programming