A parallel virtual machine for executing forward-chaining linear logic programs

• Type: Article in International Conference Proceedings Book
• Date: 2014

Authors

Cruz, F (Author) Other; Rocha, R (Author) FCUP; Goldstein, SC (Author) Other

Conference proceedings International

Title: Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014

Pages: 125-140

International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014

17 July 2014 through 18 July 2014

Indexing

ISI Web of Knowledge

Scopus - 1 Citation

Other information

Authenticus ID: P-00G-MQA

Abstract (EN): Linear Meld is a concurrent forward-chaining linear logic programming language where logical facts can be asserted and retracted in a structured way. The database of facts is partitioned by the nodes of a graph structure which leads to parallelism if nodes are executed simultaneously. Communication arises whenever nodes send facts to other nodes by fact derivation. We present an overview of the virtual machine that we implemented to run Linear Meld on multicores, including code organization, thread management, rule execution and database organization for efficient fact insertion, lookup and deletion. Although our virtual machine is a work-in-progress, our results already show that Linear Meld is not only capable of scaling graph and machine learning programs but it also exhibits some interesting performance results when compared against other programming languages.

Language: English

Type (Professor's evaluation): Scientific