University of Tasmania
Browse

A new computational rule for Prolog

Download (2.31 MB)
journal contribution
posted on 2023-05-25, 22:30 authored by Kumar, A, Malhotra, V
A 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 Letters

Volume

27

Article number

5

Number

5

Pagination

249-252

Publisher

Elsevier Science Publishers B.V. (North-Holland)

Publication status

  • Published

Repository Status

  • Open

Usage metrics

    University Of Tasmania

    Categories

    No categories selected

    Keywords

    PrologSLD-Resolutioninterpretercomputational rule

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC