SMS: Logic programming :