Compiling Prolog into microcode: a case study using the NCR/32-000

Barry S. Fagin, Yale N. Patt, Vason P. Srini, Alvin M. Despain. Compiling Prolog into microcode: a case study using the NCR/32-000. In Rich Belgard, editor, Proceedings of the 18th annual workshop on Microprogramming, Pacific Grove, CA, USA, December 3-6, 1985. pages 79-88, ACM/IEEE, 1985. [doi]

@inproceedings{FaginPSD85,
  title = {Compiling Prolog into microcode: a case study using the NCR/32-000},
  author = {Barry S. Fagin and Yale N. Patt and Vason P. Srini and Alvin M. Despain},
  year = {1985},
  doi = {10.1145/18927.18914},
  url = {http://doi.acm.org/10.1145/18927.18914},
  researchr = {https://researchr.org/publication/FaginPSD85},
  cites = {0},
  citedby = {0},
  pages = {79-88},
  booktitle = {Proceedings of the 18th annual workshop on Microprogramming, Pacific Grove, CA, USA, December 3-6, 1985},
  editor = {Rich Belgard},
  publisher = {ACM/IEEE},
  isbn = {0-89791-172-5},
}