Αποστολή με SMS: Handbook of logic in artificial intelligence and logic programming /