Logic programming and its applications (Ablex Publ. Co., 1986)