Title: Logic-Based Program Synthesis
Subjects: Logic programming