Text this: Logic program synthesis from incomplete information :