Files in this directory:

(1) 
division.dl  -- simple Datalog program showing how to do relational division
division-output.txt -- sample output with DES-Datalog


(2) Some fictious example queries, to ILLUSTRATE how Datalog rules look like.
These queries may or may not work on Mondial data.

p2q01.dl
p2q05.dl
p2q07.dl
p2q08.dl