Logic programming languages.

An advanced logic programming language Author not listed 1990 Computational Logic Kakas C. Antonis 2002 Logic programming languages edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten 1993