入門
************
.. contents::


はじめのいっぽ
==================

swi-prologを使う。
例えば、

.. literalinclude:: Src/ex1.txt
  :language: prolog
  :linenos:

.. literalinclude:: Src/ex1_res.txt
  :language: prolog
  :linenos: