Zaslat SMS: A computational logic handbook /