今回は論理型言語Prologのプログラミング練習の2回目です。前回は再帰呼び出しによるループに述語を渡すことで繰り返し処理を記述する方法を考えてみました。今回は、述語Pをブロック構造として考えた場合、ループはどうなるかを考えます。また ...

このシリーズでは、論理型プログラミング言語として、人工知能用に開発されたPrologを学んでいます。今回はPrologを用いて文の生成と文の解析を考えてみたいと思います。構文規則を記述することで容易にこれらのことができます。それでは、始めましょう。

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Abstract: GUPU is a programming environment specialized for Prolog programming courses which supports a novel way to teaching Prolog. The major improvement in teaching Prolog concerns how programs are ...

Abstract: Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the standard ...

Here the teacher will create the result by giving the student's marks input and the students will be able to see their result by searching with their id.