simple way to make queries in DB

Conflicts:
	datalog.ml
	datalog.mli