search

rntz / datafun

Research on integrating datalog & lambda calculus via monotonicity types
http://www.rntz.net/datafun/
384 stars 15 forks source link

Higher-order Datalog #2

Open v217 opened 7 years ago

v217 commented 7 years ago

Added expressivity compatible with your ideas: Extensional Higher Order Prolog by Bill Wadge. There is also a very short paper specifically about datalog: Kountouriotis, Vassilis, Panos Rondogiannis, and William W. Wadge. "Extensional higher-order datalog." Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Short Paper). 2005.

PS: Datafun should be now on this ever growing list.

rntz commented 7 years ago

Thanks, that looks very interesting! It will take me a while to fully digest, I imagine.