Datalogl

Datalog

TODO add some information and references

Syntax

TODO note on the Prolog syntax.

References

I hoped to have sparked your interest in Datalog. For more information I can recommend the following papers and books:

• Ceri, S., Gottlob, G., & Tanca, L. (1989). What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering, 1(1), 146–166. doi:10.1109/69.43410
• Abiteboul, S., Hull, R., & Vianu, V. (1995). Foundations of databases (Vol. 8). online
• Ben Moseley, Peter Marks. (2006). Out of the Tar Pit. PDF

Usage

Constants

Datalogl.CONSTANT

Program

Databases

TODO describe how Datalogl can be used with Irmin et. al.

Datalogl.S.Database