A New Computation Rule for Prolog

Ashok Kumar, Vishv M. Malhotra. A New Computation Rule for Prolog. Inf. Process. Lett., 27(5):249-252, 1988. [doi]

@article{Kumar88:0,
  title = {A New Computation Rule for Prolog},
  author = {Ashok Kumar and Vishv M. Malhotra},
  year = {1988},
  doi = {10.1016/0020-0190(88)90087-7},
  url = {http://dx.doi.org/10.1016/0020-0190(88)90087-7},
  tags = {Prolog, rule-based, rules},
  researchr = {https://researchr.org/publication/Kumar88%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {27},
  number = {5},
  pages = {249-252},
}