cognitive psychology. PhD 
How are Datalog, SAT/SMT, and answer set programming related? Is ASP basically the generalisation of SAT to first order logic, plus recursion? And Datalog restricts ASP to Horn clauses and stratified recursion?
Show this thread
I’ve been wondering about this too from a different angle. I’m trying to compile STLC into Rust traits, which act like Datalog but not 100%. I found this paper recently that compiled PCF to ASP. https://arxiv.org/pdf/1808.07770.pdf …
