So You Want to Analyze Scheme Programs With Datalog?

Davis Ross Silverman Yihao Sun Kristopher K. Micinski Thomas Gilray

Published in: CoRR (2021)

Keyphrases

expressive power
query language
data sets
integrity constraints
query answering
deductive databases
real time
neural network
high level
query processing
logic programs
logic programming
representation scheme
fixpoint
database languages