Title: Logic program synthesis using schema instantiation in an interactive environment