AI Chat AI Image Generator AI Video Text to Speech

A Low-Level Index for Distributed Logic Programming

09/22/2020

∙

by Thomas Prokosch, et al.

∙

∙

A distributed logic programming language with support for meta-programming and stream processing offers a variety of interesting research problems, such as: How can a versatile and stable data structure for the indexing of a large number of expressions be implemented with simple low-level data structures? Can low-level programming help to reduce the number of occur checks in Robinson's unification algorithm? This article gives the answers.

page 1

page 2

page 3

page 4

research

∙ 06/01/2022

JuMP 1.0

JuMP is an algebraic modeling language embedded in the Julia programming...

0 Miles Lubin, et al. ∙

research

∙ 06/14/2016

Why is Compiling Lifted Inference into a Low-Level Language so Effective?

First-order knowledge compilation techniques have proven efficient for l...

0 Seyed Mehran Kazemi, et al. ∙

research

∙ 07/16/2018

In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming

Processing programs as data is one of the successes of functional and lo...

0 François Bry, et al. ∙

research

∙ 07/30/2021

The bitwise operations in relation to the concept of set

We contemplate this article to help the teachers of programming in his a...

0 Krasimir Yordzhev, et al. ∙

research

∙ 10/30/2019

Use of R-trees to improve reconstruction time in pixel trackers

Computing time is becoming a key issue for tracking algorithms both onli...

0 Albert Pernía Vázquez, et al. ∙

research

∙ 01/04/2019

Identifying Barriers to Adoption for Rust through Online Discourse

Rust is a low-level programming language known for its unique approach t...

0 Anna Zeng, et al. ∙

research

∙ 04/12/2021

Getting to the Point. Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming

We present a novel programming language design that attempts to combine ...

0 Adam Paszke, et al. ∙