マッチング＆等式&ユニフィケーション
| 述語名/引数 | (match *o1 *o2 ) |
| 要約 | *o1 を *o2にマッチングさせます。 |
| 互換性 | Win Unix |
| 解説 | *o2は変化しません。 |
| 述語名/引数 | (testMatch *o1 *o2 ) |
| 要約 | *o1 を *o2にマッチング可能か調べます。 |
| 互換性 | Win Unix |
| 解説 | *o1、*o2いずれも変化しません。 |
| 述語名/引数 | (= *o1 *o2) |
| 要約 | *o1 と *o2を単一化します。 |
| 互換性 | Win Unix |
| 解説 | *o1と*o2が等しくなるようにそれぞれに最小限の変更を施します。 （最汎化子mguを用いてユニフィケーションアルゴリズムを*o1と*o2に適用します。） |
| 述語名/引数 | (test= *o1 *o2) |
| 要約 | *o1 と *o2を単一化可能かどうか調べます。 |
| 互換性 | Win Unix |
| 解説 | *o1と*o2はいずれも変化しません。 |
| 述語名/引数 | (== *o1 *o2) |
| 要約 | *o1 と *o2が等しいか調べます。 |
| 互換性 | Win Unix |
| 解説 | *o1と*o2はいずれも変化しません。 |
| 述語名/引数 | (/== *o1 *o2) |
| 要約 | *o1 と *o2が等しくないか調べます。 |
| 互換性 | Win Unix |
| 解説 | *o1と*o2はいずれも変化しません。 これは、(not (== *o1 *o2))と同じ機能ですが、こちらの方が高速です。 |