Logic programming : : systematic program development - Deville, Yves (International series in logic programming, 1990)