2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 2 cited
Benchmarking for Integrating Logic Rules with Everything Else
Yanhong A. Liu, Scott D. Stoller, Yi Tong +1
Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increa…
cs.PL2023★ 1 cited
Integrating Logic Rules with Everything Else, Seamlessly
Yanhong A. Liu, Scott D. Stoller, Yi Tong +1
This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea is to support predica…