- プロローグにおける論理否定
- 文字列のリストの最長共通接頭辞(LCP)
- 高次の「解」述語
- 配列Univ var([x、y]=.. T)-プロローグ
- 奇数と正規表現を通常の文法に組み合わせる?
- ロジックプログラミングを使用してさまざまなタイルサイズのタイルパズルをスライディング
- Prolog:匿名変数を含む節の冗長な結果
- DCGとPrologのリストの反転
- Prologで複雑な複合語の変数を保持する
- 要素がリストのリストに存在しますか?
- CLP(FD)と複数の制約を持つDCGを使用して組み合わせを列挙する方法
- Prolog:単純な事実の推移性をチェックする
- よりコンパクトな定義
- 再帰的検索とPrologのアキュムレータ&カウンタ
- Prologはリスト内のインデックスを見つけてリストとして出力します
- Prologで以下の質問と事実のルールを書くにはどうすればいいですか?
- プロローグ・プログラムの最適化(重複を除去し、再計算を繰り返す)
- Prologでリストを置き換えるにはどうしたらいいですか?
- 真実の文を分割する
- カットを読む! プロローグで