Solving constrained Horn clauses modulo algebraic data types and recursive functions.
Hari Govind V. K.Sharon ShohamArie GurfinkelPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- data types
- horn clauses
- recursive functions
- inductive inference
- data structure
- data model
- database systems
- user defined
- database management systems
- first order logic
- inference rules
- logic programs
- inductive logic programming
- high dimensional
- database queries
- information retrieval
- machine learning
- abstract data types
- data mining
- data management
- database
- data mining algorithms
- programming language