Logic programming : systematic program development - Deville, Yves (Addison-Wesley, 1990)