The implementation of a distributed model for logic programming based on multiple-headed clauses
type: Item
instance of: scholarly article
title: The implementation of a distributed model for logic programming based on multiple-headed clauses
zbMATH Open document ID: 0772.68016
DOI: 10.1016/0020-0190(92)90232-K
author: Antonio Brogi
author: Anna Ciampolini
author: Evelina Lamma
author: Paola Mello
published in: Information Processing Letters
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 92140
zbMATH Keywords: inter-process communication
zbMATH Keywords: multiple-headed clauses
describes a project that uses: GHC
MaRDI profile type: Publication
cites work: AND parallelism and nondeterminism in logic programs
cites work: A synchronization logic: Axiomatics and formal semantics of generalized horn clauses
cites work: PARLOG: parallel programming in logic
full work available at URL: 0020-0190(92)90232-k
OpenAlex ID: W2029986909
Wikidata QID: Q127372207
description: scientific article; zbMATH DE number 92140