Sign in

A Predicate Construct for Declarative Programming in Imperative Languages.

James SmithXiangyu GuoAjay Bansal
Published in: PPDP (2022)
Keyphrases
  • declarative programming
  • first order logic
  • expressive power
  • language independent
  • database systems
  • data structure
  • cross lingual
  • answer set programming