【論理】Prolog【初心者】

951 ：デフォルトの名無しさん：2020/06/06(土) 13:34:07.16 ID:nPYA670X.net

>>949
knowledge base(=factとrule)を書いてそれに対してqueryを投げて答えを得る
そういうスタイルで書く言語

原理的にはパターンマッチとbacktrack
論理パズルや組み合わせ問題なんかは比較的簡単に書ける
(が他言語でsolverを使う場合に比べると遅いことが多い)

http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse1
↑このチュートリアルを読みつつ
↓ここで試すといい
https://swish.swi-prolog.org/