datalog 0.2

API update, that follows more closely the literature. Some minor changes too.

Thanks!