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…