A Sleeper-based Prolog Interpreter with Loop Checks

Filomena Ferrucci, Vincenzo Loia, Giuliano Pacini, Maria I. Sessa. A Sleeper-based Prolog Interpreter with Loop Checks. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2. pages 379-392, 1994.

@inproceedings{FerrucciLPS94,
  title = {A Sleeper-based Prolog Interpreter with Loop Checks},
  author = {Filomena Ferrucci and Vincenzo Loia and Giuliano Pacini and Maria I. Sessa},
  year = {1994},
  tags = {Prolog, rule-based, interpreter},
  researchr = {https://researchr.org/publication/FerrucciLPS94},
  cites = {0},
  citedby = {0},
  pages = {379-392},
  booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2},
  editor = {María Alpuente and Roberto Barbuti and Isidro Ramos},
}