Linear logic as logic programming: An abstract

DOI10.1007/BFB0052151MaRDI QIDQ4370235zbMATH OpenFDO

Authors Dale Miller

Publication date 2 February 1998

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

Full work available at URL https://doi.org/10.1007/BFB0052151

zbMATH Keywords

\(\lambda\)PrologabstractionsconcurrencyForumlinear logicLinear ObjectsLOlogic programming languagesLolli

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Review text

The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, \(\lambda\)Prolog and its linear logic refinement, Lolli [\textit{J. Hodas} and \textit{D. Miller}, Inf. Comput. 110, 327-365 (1994; Zbl 0807.68016)], provide for various forms of abstraction (modules, abstract data types, and higher-order programming) but lack primitives for concurrency. The logic programming language LO (Linear Objects) [\textit{J.-M. Andreoli} and \textit{R. Pareschi}, New Gener. Comput. 9, 445-473 (1991; Zbl 0731.68022)] provides some primitives for concurrency but lacks abstraction mechanisms. Forum is a logic programming presentation of all of linear logic that modularly extends \(\lambda\)Prolog, Lolli, and LO. This language, therefore, allows specifications to incorporate both abstractions and concurrency. For the entire collection see [Zbl 0877.00010].

Recommendations

• Logic programming and meta-logic
• Forum: A multiple-conclusion specification logic
• A specification logic for concurrent object-oriented programming
• Proofs as computations in linear logic

Cited in

(17)

• Programs with continuations and linear logic
• On structuring proof search for first order linear logic
• Forward and backward chaining in linear logic. (Extended abstract)
• A linear logic programming language for concurrent programming over graph structures
• Decomposition of linear recursive logic programs
• scientific article; zbMATH DE number 1231530 (Why is no real title available?)
• A specification logic for concurrent object-oriented programming
• scientific article; zbMATH DE number 517089 (Why is no real title available?)
• Logic programming and meta-logic
• scientific article; zbMATH DE number 1361538 (Why is no real title available?)
• scientific article; zbMATH DE number 2120362 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• Logic programming with sequent systems: a linear logic approach
• scientific article; zbMATH DE number 5241986 (Why is no real title available?)
• Linear logic propositions as session types
• The dual of a logical linear programme
• Logic programming with multiplicative structures

This page was built for publication: Linear logic as logic programming: An abstract

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