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

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2014

Autores

Cruz, F (Autor) Outra; Rocha, R (Autor) FCUP; Goldstein, SC (Autor) Outra

Ata de Conferência Internacional

Título: 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

Páginas: 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

Indexação

ISI Web of Knowledge

Scopus - 1 Citação

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica