A Predicate Construct for Declarative Programming in Imperative Languages.

James Smith Xiangyu Guo Ajay Bansal

Published in: PPDP (2022)

Keyphrases

declarative programming
first order logic
expressive power
language independent
database systems
data structure
cross lingual
answer set programming