Doesn't seem to cover any logic programming, that's a shame.