added license prelude
actually need the _tags' <datalog>: include to build datalog_cli;
added license prelude to datalog_cli.ml
.mli interface for datalog
do not forget datalog.a during installation