ExercismのPrologトラックに参加すると、 109個の演習 コードの自動分析 と マンツーマンのメンタリング、 すべて100%無料で利用できます。
Exercismでは、楽しくやりがいのある演習を通して、コンセプトの理解を試しながらプログラミングを上達させられます。
ExercismのProlog演習をすべて見る
SWI-Prologには、多くの確立された標準規格を網羅する包括的な組み込み述語が用意されています。
clauseと呼ばれる単一の言語要素が、Prologのすべての関係とプログラムの基礎になっています。
Prologは、解がどう実装されるかよりも、その解について何が真であるかに焦点を当てます。
Prologは論理の規則に基づいており、その実行は論理的な導出の一種です。
Prologのプログラムはそれ自体が有効なPrologの項でもあり、プログラム同士がやり取りできます。
Unix/Linux、Windows、MacOS向けの実装があり、WebAssembly(WASM)もターゲットになっています。
プログラミング言語にはそれぞれ、物事の進め方があります。Prologも 同じです。メンターが、Prologのエンジニアのように 考える方法と、Prologらしいコードの書き方を 教えてくれます。演習を解いたら、ボランティアチームに 提出してみましょう。ヒントやアイデア、フィードバックをもらい、 Prologでよく目にする書き方に近づけることができます。 自分が知らないことを知らない、ということに気づかせてくれるでしょう。
メンタリングについてもっと詳しく