プログラミング言語Prologの制約論理プログラミング問題をSMT-LIBで表現する

Prologの制約論理プログラミング問題をSMT-LIBの形式に変換することで、CHCソルバーを使ってこれらの問題を解くことができる。