Describing Prolog by ita interpretation and compilation (1985)

by J COHEN
Venue:Commun. ACM