Abstract
This article surveys various complexity and expressiveness results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general ...
Users
Please
log in to take part in the discussion (add own reviews or comments).