The Relation between Logic Programming and Logic Specification: Discussion Jackson, M. A. ; Kowalski, R. ; Rogers, M. J. ; Shepherdson, J. C. ; Sannella, D. ; Lehman, M. M. ; Park, D. Abstract Publication: Philosophical Transactions of the Royal Society of London Series A Pub Date: October 1984 Bibcode: 1984RSPTA.312..358J