Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.

Frantisek Farka Ekaterina Komendantskaya Kevin Hammond

Published in: CoRR (2018)

Keyphrases

horn clauses
inference rules
conceptual clustering
first order logic
theorem prover
inductive logic programming
database queries
logic programs
decision trees
bayesian networks
software engineering
database
relational databases
expert systems
high level
knowledge base
artificial intelligence
learning algorithm