http://t.co/TP0HeHhUtd Prologにも方言というか研究あるんだな。 実際にコード書いてみないと実感できないけど。 型とc++のコンテナとソート基準をＰｒｏｌｏｇ言語と融合できたら少しうれしいかも。当然なんでも入るリストの魅力も残してだけど。

http://t.co/TP0HeHhUtd この論文？ Ｐｒｏｌｏｇ言語に例えれば、述語群Ｅｓ（他の言語でいうところの関数）を組み合わせて述語Ａを作る。 Ａと同じ写像を持つ述語ＡｉをＥｓを組み合わせて作り、Ａより効率が良いものを探すということか、難しいな。