datalog

API

Library datalog

• Datalog

Library datalog.caml_interface

• Datalog_caml_interface

Library datalog.top_down

• Datalog_top_down

Library datalog.unix

• Datalog_unix