Logic Programming with Macro Connectives
Abstract
Logic programming such as Prolog is often sequential and slow because each execution step processes only a single, micro connective. To fix this problem, we propose to use macro connectives as the means of improving both readability and performance.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.