Inproceedings,

Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine.

, , and .
CADE, volume 310 of Lecture Notes in Computer Science, page 323-332. Springer, (1988)

Meta data

Tags

Users

  • @dblp

Comments and Reviews