Open Access Repository

A new computational rule for Prolog

Downloads

Downloads per month over past year

Kumar, A and Malhotra, V 1988 , 'A new computational rule for Prolog' , Information Processing Letters, vol. 27, No. 5 , pp. 249-252 .

[img]
Preview
PDF
iplProlog.pdf | Download (2MB)
Available under University of Tasmania Standard License.

| Preview

Abstract

A computational rule is given for interpreting Prolog programs that reduces the number of calls in non-deterministic generate-n-test style Prolog programs.

Item Type: Article
Authors/Creators:Kumar, A and Malhotra, V
Keywords: Prolog, SLD-Resolution, interpreter, computational rule
Journal or Publication Title: Information Processing Letters
Publisher: Elsevier Science Publishers B.V. (North-Holland)
Item Statistics: View statistics for this item

Actions (login required)

Item Control Page Item Control Page
TOP