Conclog: a methodological approach to concurrent logic programming

zbMATH Open0784.68001MaRDI QIDQ1202168FDOQ1202168

Authors: Jean-Marie Jacquet 

Publication date: 23 January 1993

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

Recommendations

• scientific article; zbMATH DE number 3958697
• scientific article; zbMATH DE number 879003
• scientific article; zbMATH DE number 3913653
• scientific article; zbMATH DE number 3958700
• scientific article

zbMATH Keywords

declarative programmingHorn clausesconcurrent 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)

Cited In (10)

• Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
• Title not available (Why is that?)
• Multi-valued logic programming semantics An algebraic approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Efficient analysis of concurrent constraint logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• A compositional semantic basis for the analysis of equational Horn programs

This page was built for publication: Conclog: a methodological approach to concurrent logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1202168)