A semantics for modular general logic programs
type: Item
instance of: scholarly article
title: A semantics for modular general logic programs
zbMATH Open document ID: 0947.68022
DOI: 10.1016/S0304-3975(97)00191-6
author: Sandro Etalle
published in: Theoretical Computer Science
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1238717
zbMATH Keywords: logic programming
zbMATH Keywords: modularity
zbMATH Keywords: open programs
zbMATH Keywords: negation
zbMATH Keywords: semantics
zbMATH Keywords: constraint logic programming
describes a project that uses: SICStus
MaRDI profile type: Publication
cites work: Logic programming and negation: A survey
cites work: Differential logic programs: Programming methodologies and semantics
cites work: Simultaneous Replacement in Normal Programs
cites work: A compositional semantics for logic programs
cites work: Compositional model-theoretic semantics for logic programs
cites work: Q4225120
cites work: A kripke-kleene semantics for logic programs*
cites work: Observable Semantics for Constraint Logic Programs
cites work: Q4844168
cites work: Q5812175
cites work: Negation in logic programming
cites work: Closures and fairness in the semantics of programming logic
cites work: Q3992908
cites work: Q3725521
cites work: A transformation system for deductive database modules with perfect model semantics
cites work: A logical analysis of modules in logic programming
cites work: Equivalence-preserving first-order unfold/fold transformation systems
cites work: Q5750391
description: scientific article; zbMATH DE number 1238717