Benchmarking for Integrating Logic Rules with Everything Else

Yanhong A. Liu
(Stony Brook University)
Scott D. Stoller
(Stony Brook University)
Yi Tong
(Stony Brook University)
K. Tuncay Tekle
(Stony Brook University)

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.

In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo and Francesca Toni: Proceedings 39th International Conference on Logic Programming (ICLP 2023), Imperial College London, UK, 9th July 2023 - 15th July 2023, Electronic Proceedings in Theoretical Computer Science 385, pp. 12–26.
Published: 12th September 2023.

ArXived at: https://dx.doi.org/10.4204/EPTCS.385.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org