SMS: Logic programming