Benchmarking for Integrating Logic Rules with Everything Else

TL;DR

This paper introduces benchmarks for evaluating programming languages that integrate logic rules with other language features, providing a means to compare their performance and capabilities.

Contribution

It presents a comprehensive set of benchmarks specifically designed for assessing integrated logic rule languages against other language types.

Findings

Integrated languages show varied performance profiles.

Benchmarks reveal strengths and weaknesses of different approaches.

Evaluation facilitates informed choices for language development.

Abstract

Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increasingly more languages and extensions for such integration have been developed. How to evaluate such languages? This paper describes a set of programming and performance benchmarks for evaluating languages supporting integrated use of rules and other features, and the results of evaluating such an integrated language together with logic languages and languages not supporting logic rules.