摘要：我们提出了一种新颖的程序合成方法，该方法将复杂的功能任务分解为更简单的关系合成子任务。我们使用现成的归纳逻辑编程（ILP）系统在三个具有挑战性的数据集上展示了我们方法的有效性。我们的结果表明：（i）关系表示可以优于功能表示，以及（ii）具有关系编码的现成ILP系统可以优于特定领域的方法。