Combining Logic Programs and Monadic Second Order Logics by Program Transformation

F. Fioravanti, A. Pettorossi, M. Proietti

We present a program synthesis method based on unfold/fold transformation rules which can be used for deriving terminating definite logic programs from formulas of the Weak Monadic…