Optimistic Mathematics

参考文献(ソフトウェア)

Prolog

プログラミング・パラダイム

プログラミングと論理