Author:
CRUZ FLAVIO,ROCHA RICARDO,GOLDSTEIN SETH COPEN,PFENNING FRANK
Abstract
AbstractWe 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.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Reference28 articles.
1. Alvaro P. , Marczak W. , Conway N. , Hellerstein J. M. , Maier D. , and Sears R. C. 2009. Dedalus: Datalog in time and space. Tech. Rep. UCB/EECS-2009-173, EECS Department, University of California, Berkeley. Dec.
2. Watkins K. , Cervesato I. , Pfenning F. , and Walker D. 2003. A concurrent logical framework i: Judgments and properties. Tech. rep.
3. Low Y. , Gonzalez J. , Kyrola A. , Bickson D. , Guestrin C. , and Hellerstein J. M. 2010. Graphlab: A new framework for parallel machine learning. In Conference on Uncertainty in Artificial Intelligence (UAI). 340–349.
4. Linear logic
5. Watkins K. , Cervesato I. , Pfenning F. , and Walker D. 2004. A concurrent logical framework: The propositional fragment. In Types for Proofs and Programs. Lecture Notes in Computer Science, vol. 3085. 355–377.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Grafs: declarative graph analytics;Proceedings of the ACM on Programming Languages;2021-08-22
2. From Clarity to Efficiency for Distributed Algorithms;ACM Transactions on Programming Languages and Systems;2017-07-20
3. Declarative coordination of graph-based parallel programs;Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2016-02-27
4. Automated verification of safety properties of declarative networking programs;Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming;2015-07-14
5. On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities;Practical Aspects of Declarative Languages;2015