Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
OCaml
tree: 5053bc02b4

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
.gitignore
AUTHORS.txt
CHANGES.txt
COPYING.txt
INSTALL.txt
Makefile
README
datalog_spec.txt
eval.ml
examples.lang
expr.ml
lexer.ml
lexer.mll
main.ml
parser.ml
parser.mli
parser.mly

README

YADI - Yet Another Datalog Interpreter
================================================
                                        
---------------------------------------------------------------------------

What is YADI?
-------------------------

TODO

Pre-requisites
-------------------------

It is madatory to connect a PostgreSQL server, with a role, a database and at least one populated table to formulate queries against that table.

Howto randomly poppopulate a table (for testing puropose only): 
	
	psql> create table test as SELECT id, md5(random()::text) AS descr FROM
          (SELECT * FROM generate_series(1,100) AS id) AS x;

Usage
-------------------------

./yadi <connexion info>

Example:

./yadi "host=localhost port=5432 user=test password=test dbname=test_db"


---------------------------------------------------------------------------

Contact Information and Contributing
------------------------------------

In the case of bugs, feature requests, contributions and similar, please
contact the maintainers:

  * Guillaume Raschia <guillaume.raschia@univ-nantes.fr>

Up-to-date information should be available at:
<https://url-of-my-project>

Enjoy!

Guillaume Raschia in Nantes, FR on Sept 28, 2012


Something went wrong with that request. Please try again.