Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
On the Efficiency of Optimising Shallow Backtracking in Prolog
RISE, Swedish ICT, SICS, Computer Systems Laboratory.ORCID iD: 0000-0003-3079-8095
1990 (English)Report (Refereed)
Abstract [en]

The cost of backtracking has been identified as one of the bottlenecks in achieving peak performance in compiled Prolog programs. Much of the backtracking in Prolog programs is shallow, i.e. is caused by unification failures in the head of a clause when there are more alternatives for the same procedure, and so special treatment of this form of backtracking has been proposed as a significant optimisation. This paper describes a modified WAM which optimises shallow backtracking. Four different implementation approaches are compared. A number of benchmark results are presented, measuring the relative tradeoffs between compilation time, code size, and run time. The results show that the speedup gained by this optimisation can be significant.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1990, 1. , 14 p.
Series
SICS Research Report, ISSN 0283-3638 ; R90:03
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21335OAI: oai:DiVA.org:ri-21335DiVA: diva2:1041369
Note

Original report number R90003.

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-08-07Bibliographically approved

Open Access in DiVA

fulltext(80 kB)6 downloads
File information
File name FULLTEXT01.pdfFile size 80 kBChecksum SHA-512
babbb741da4f40b63c6386dd40dcf8bc2adc4fa3e3f43ca9ca217ea7369959964a6f5312c3f8149e2f89f1b5b91c803ff9cd7fa2241534815c70b28ae9749169
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Carlsson, Mats
By organisation
Computer Systems Laboratory
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 6 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf