入門 ************ .. contents:: はじめのいっぽ ================== swi-prologを使う。 例えば、 .. literalinclude:: Src/ex1.txt :language: prolog :linenos: .. literalinclude:: Src/ex1_res.txt :language: prolog :linenos: