Zaslat SMS: Reasoning with logic programming /