摘要：我們提出了一種新穎的程序合成方法，該方法將複雜的功能任務分解為更簡單的關係合成子任務。我們使用現成的歸納邏輯編程（ILP）系統在三個具有挑戰性的數據集上展示了我們方法的有效性。我們的結果表明：（i）關係表示可以優於功能表示，以及（ii）具有關係編碼的現成ILP系統可以優於特定領域的方法。