JAISTでどのようなProlog教育がなされているか、
コメントをいただきたい。