Benchmarking for Integrating Logic Rules with Everything Else

Autor:	Liu, Yanhong A., Stoller, Scott D., Tong, Yi, Tekle, K. Tuncay
Rok vydání:	2023
Předmět:	Computer Science - Programming Languages Computer Science - Logic in Computer Science Computer Science - Performance
Zdroj:	EPTCS 385, 2023, pp. 12-26
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.385.3
Popis:	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. Comment: In Proceedings ICLP 2023, arXiv:2308.14898. arXiv admin note: substantial text overlap with arXiv:2205.15204
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2308.15878 Zobrazit plný text záznamu View this record from Arxiv