Loading...
Please wait, while we are loading the content...
Similar Documents
Mixed-strategies for linear tabling in prolog.
| Content Provider | CiteSeerX |
|---|---|
| Author | Areias, Miguel Rocha, Ricardo |
| Abstract | Abstract. Tabling is an implementation technique that solves some limitations of Prolog’s operational semantics in dealing with recursion and redundant sub-computations. Arguably, the SLDT and DRA strategies are the two most successful extensions to standard linear tabled evaluation. In this work, we propose a new strategy for linear tabling, named DRS, and we present a framework, on top of the Yap system, that supports the combination of variants of these three strategies. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Linear Tabling Linear Tabled Evaluation Dra Strategy Redundant Sub-computations Operational Semantics Implementation Technique Yap System New Strategy Successful Extension |
| Content Type | Text |
| Resource Type | Article |
