iplProlog.pdf (2.31 MB)
A new computational rule for Prolog
journal contribution
posted on 2023-05-25, 22:30 authored by Kumar, A, Malhotra, VA computational rule is given for interpreting Prolog programs that reduces the number of calls in non-deterministic generate-n-test style Prolog programs.
History
Publication title
Information Processing LettersVolume
27Article number
5Number
5Pagination
249-252Publisher
Elsevier Science Publishers B.V. (North-Holland)Publication status
- Published
Repository Status
- Open