Inherently Reversible Grammars, Logic Programming and Computability