Overview

What is DIE?
DIE is an acronym for Datalog Integrated Environment and as you have probably guessed it is an enviroment that provides certain facilities to use a Datalog interpreter.

What is Datalog?
Datalog is an interpreted language used for manipulating databases, it is derived from prolog, there fore it is a logic programming language. If you want any further information on Datalog please refer to the DIE tutorial page .

What has the DIE got to offer?
The Datalog Integrated Environment offers a graphical user interface for a datalog interpreter, it also has its own built in editor, with all the common editing operations. The DIE also offers the posibility to trace the proving algorithm and show the contents of the data and clause stack and the evolution of the variables all through the process. Here is a snapshot of the DIE working. For more snapshots please see the snapshot page here.

Who, How, Why and Where?
DIE emerged as a final year project in the Computer Science Department in the University of Las Palmas de Gran Canaria in the Canary Islands, Spain. It was proposed, tutorized and partly coded by Dr. Juán Méndez Rodríguez. The student who it would help complete his formation and get his degree in computer science is Mark Sanchez (me!).

DIE was coded in C using OSF/Motif on a HP-UX 700. It has also been succesfully ported to Linux using Lesstif and openmotif 2.1 and to Solaris 8 on an intel x86 platform.

For further infomation on DIE's implementation see the reference manual