Unification for a Prolog Data Base Machine

Gilles Berger-Sabbatel, W. Dang, J. C. Ianeselli, Gia Toan Nguyen. Unification for a Prolog Data Base Machine. In ICLP. pages 207-217, 1984.

@inproceedings{SabbatelDIN84,
  title = {Unification for a Prolog Data Base Machine},
  author = {Gilles Berger-Sabbatel and W. Dang and J. C. Ianeselli and Gia Toan Nguyen},
  year = {1984},
  tags = {Prolog, rule-based, data-flow, C++},
  researchr = {https://researchr.org/publication/SabbatelDIN84},
  cites = {0},
  citedby = {0},
  pages = {207-217},
  booktitle = {ICLP},
}