Logic Programming with Macro Connectives

TL;DR

This paper introduces macro connectives in logic programming to enhance readability and performance by enabling processing of multiple connectives simultaneously, addressing the sequential bottleneck of traditional Prolog.

Contribution

It proposes the novel use of macro connectives in logic programming to improve execution efficiency and code clarity over existing methods.

Findings

Macro connectives enable parallel processing of multiple connectives.

Significant performance improvements demonstrated in prototype implementations.

Enhanced readability and maintainability of logic programs.

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.