datafun icon indicating copy to clipboard operation
datafun copied to clipboard
verified publisher icon rntz

Higher-order Datalog

Open v217 opened this issue 9 years ago • 1 comments

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.

v217 avatar Dec 21 '16 08:12 v217

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

rntz avatar Jul 21 '17 23:07 rntz