【論理】Prolog【初心者】

[623 デフォルトの名無しさん 2013/01/30(水) 14:34:59.52]

Prologの実装がいろいろあるけど
_ が任意にマッチするものと
_.1 _.2 みたいにマッチする部分集合をわけるものがあるみたいですね
それぞれの方式に名前がついてたりするのでしょうか