| 述語名/引数 | (matchBodyContext *pattern) |
| 要約 | このビルトインルールを呼び出したNルールが変換しようとしている節のボディアトムが*patternとマッチするか調べます。 |
| 互換性 | Win Unix |
| 解説 |
このルールは、Nルールから実行されます。マッチするアトムが複数ある場合は、*patternは最初にマッチしたものに具体化されます。 調べる対象のボディアトムは、Nルールのヘッドとマッチしていないボディアトムです。 |
| 述語名/引数 | (getContext *atoms) (getContext *atoms *otherClauses) |
| 要約 | Nルールが変換しようとしている節のヘッドアトムとルールのヘッドにマッチしていないボディアトムを*atomsに取得します。 第二の形式では、*otherClausesにそれ以外の存在する節の集合を取得します。 |
| 互換性 | Win Unix |
| 解説 | このルールは、Nルールから実行されます。実行に成功すると*atomsには、節のヘッドと節のボディアトムを表すリストに具体化されます。 ただし、取得したボディアトムはルールのヘッドとマッチしたものが除かれます。*atomsは、節のヘッドアトムを先頭に持つリストになります。よって(*headatom | ?)の形式になります。 |