A grammatical view of logic programming - Deransart, Pierre (Massachusetts Institute of Technology, 1993)