A Grammatical View of Logic Programming (1993)

by P Deransart, J Maluszinski