Invia SMS: Deductive database systems and programming languages Prolog and Datalog