Logic Programming, chapter Amalgamating Language and Metalanguage in Logic Programming (1982)

by K A Bowen
Venue:New Generation Computing