Conclog: a methodological approach to concurrent logic programming

zbMath0784.68001MaRDI QIDQ1202168

Jean-Marie Jacquet

Publication date: 23 January 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Horn clausesdeclarative programmingconcurrent logic programminglanguage designconclog

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic programming (68N17)

Related Items

A compositional semantic basis for the analysis of equational Horn programs ⋮ Multi-valued logic programming semantics An algebraic approach