Tabling structures for bottom-up logic programming

Roger Clayton; John G Cleary; Bernhard Pfahringer; Mark Utting

doi:10.1007/3-540-45013-0_5

Back

Tabling structures for bottom-up logic programming

Book chapter

Peer reviewed

Tabling structures for bottom-up logic programming

Roger Clayton, John G Cleary, Bernhard Pfahringer and Mark Utting

Logic Based Program Synthesis and Transformation, pp.50-51

International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), 12th (Madrid, Spain, 17-Sep-2002–20-Sep-2002)

Lecture Notes in Computer Science (LNCS), 2664, Springer New York LLC

2003

DOI: https://doi.org/10.1007/3-540-45013-0_5

Files and links (1)

url

https://doi.org/10.1007/3-540-45013-0_5View

Published Version

Abstract

tabling structures

bottom-up logic programming

Generally logic programs are considered more abstract than programs written in other paradigms. Yet most logic programs are strongly dependent on programmer-defined data structures - such as lists in Prolog. Logic programs often become saturated with data structure manipulation code which obscures the original problem and requires large-scale rewriting to change data representations. To avoid this, the logic programming language Starlog provides a data-structure-free environment where data is stored relationally in tuples and programs are evaluated bottom-up [2].

Details

Title: Tabling structures for bottom-up logic programming
Authors: Roger Clayton (Author) - University of Waikato, New Zealand
John G Cleary (Author) - University of Waikato, New Zealand
Bernhard Pfahringer (Author) - University of Waikato, New Zealand
Mark Utting (Author) - University of Waikato, New Zealand
Contributors: M Leuschel (Editor)
Publication details: Logic Based Program Synthesis and Transformation, pp.50-51
Conference details: International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), 12th (Madrid, Spain, 17-Sep-2002–20-Sep-2002)
Series: Lecture Notes in Computer Science (LNCS); 2664
Publisher: Springer New York LLC
Date published: 2003
DOI: 10.1007/3-540-45013-0_5
ISBN: 9783540404385
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99449065502621
Output Type: Book chapter

Metrics

2 File views/ downloads

487 Record Views

InCites Highlights

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Web Of Science research areas: Computer Science, Theory & Methods