Other implementations of Datalog/Prolog

  • Coral
    • Developed at U.Wisconsin-Madison by Raghu Ramakrishnan's group
    • bottom-up and top-down evaluation strategies
  • LDL
    • Developed at the MCC by Carlo Zaniolo's group
    • top-down evaluation
  • XSB
    • Developed at Stony Brook University
    • bottom-up and top-down evaluation strategies
  • DES (Datalog Educational System)
    • Simple, interactive system for students to learn concepts
    • Primarily for educational purposes, not very efficient

Datalog Development Environments

Books on Datalog:

  • S. Ceri, G. Gottlob and L. Tanca, Logic Programming and Databases, Springer-Verlag, 1990, Surveys in Computer Science, Berlin, Heidelberg, New York.
  • C.J. Date, An Introduction to Database Systems, 6th ed., 1995, Addison-Wesley
  • R. Elmasri and S. B. Navathe, Fundamentals of Database Systems, 2nd ed., 1994, Benjamin/Cummings