Text this: Logic based program synthesis and transportation :