A linear logic programming language for concurrent programming over graph structures

DOI10.1017/S1471068414000167MaRDI QIDQ2931260zbMATH OpenFDO

Authors Flávio F. Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning

Publication date 25 November 2014

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1405.3556

zbMATH Keywords

graphssemanticslinear logicconcurrent programminglanguage design

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05) Logic programming (68N17) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Abstract: We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is based on linear logic, an expressive logical system where logical facts can be consumed. Because LM integrates both classical and linear logic, LM tends to be more expressive than other logic programming languages. LM programs are naturally concurrent because facts are partitioned by nodes of a graph data structure. Computation is performed at the node level while communication happens between connected nodes. In this paper, we present the syntax and operational semantics of our language and illustrate its use through a number of examples.

Recommendations

• scientific article; zbMATH DE number 517089
• scientific article; zbMATH DE number 1104361
• scientific article; zbMATH DE number 1420807
• Design and implementation of a concurrent logic programming language with linear logic constraints
• A specification logic for concurrent object-oriented programming

Cites work

• A note on two problems in connexion with graphs
• Analysing graph transformation systems through constraint handling rules
• Constructions for the Solution of the m Queens Problem
• Linear logic
• Logic Programming with Focusing Proofs in Linear Logic

Describes a project that uses

Uses Software

• Pregel
• GraphLab

This page was built for publication: A linear logic programming language for concurrent programming over graph structures

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