Dynamic reordering of alternatives for definite logic programs
type: Item
instance of: scholarly article
title: Dynamic reordering of alternatives for definite logic programs
zbMATH Open document ID: 1387.68058
author: Hai-Feng H.-F. Guo
author: Gopal G. Gupta
published in: Computer Languages, Systems \& Structures
publication date: 2018-05-16T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 6869002
zbMATH Keywords: logic programming
zbMATH Keywords: tabled resolution
zbMATH Keywords: SLD resolution
zbMATH Keywords: fixed point
zbMATH Keywords: DRA resolution
describes a project that uses: XSB
MaRDI profile type: Publication
full work available at URL: j.cl.2008.04.002
OpenAlex ID: W2048620890
cites work: Q3339245
cites work: Q4736502
cites work: Q4413060
cites work: Semantics-based program analysis for logic-based languages using XSB
cites work: Efficient top-down computation of queries under the well-founded semantics
cites work: Q3746920
cites work: Tabled evaluation with delaying for general logic programs
cites work: Tabulated resolution for the well-founded semantics
cites work: Linear tabulated resolution based on Prolog control strategy
cites work: Q4259968
cites work: Q4736512
cites work: An External Module for Implementing Linear Tabling in Prolog
DOI: 10.1016/J.CL.2008.04.002
Recommended article: Q4472447
Recommended article: Q4736512
Recommended article: Q5202983
Recommended article: Ordering default theories and nonmonotonic logic programs
Recommended article: Q2767052
Recommended article: Q2757844
Recommended article: Efficient evaluation of a class of ordered logic programs
description: scientific article; zbMATH DE number 6869002