Αποστολή με SMS: Computational Logic: Logic Programming and Beyond