search

OCamlPro / flambda-task-force

13 stars 1 forks source link

benchmark on datalog #33

Open c-cube opened 9 years ago

c-cube commented 9 years ago

Benchmark a simple datalog engine, bottom-up, I wrote. Attached are two test files.

opam install datalog
wget https://raw.githubusercontent.com/c-cube/datalog/bc75c31628163c5c8320b4b235810408aa254dce/tests/clique100.pl
datalog_cli clique100.pl

and (should take a few seconds)

opam install datalog
wget https://raw.githubusercontent.com/c-cube/datalog/bc75c31628163c5c8320b4b235810408aa254dce/tests/clique500.pl
datalog_cli clique500.pl
mshinwell commented 8 years ago

Louis, please add this to the benchmarking suite

mshinwell commented 8 years ago

@AltGr Ping