prov:value
| - Therefore, the condition part is rewritten in to a concrete form as follows: [[and, [1000, 1001, 2], 2002], [and, [1000, 1001, 1002], 2003], [not-- match, [1000, 1001, 2], [1000, 1001, 1002]], [intersect, [1000, 1001, 2], [1000,1001, 1002], [1000, 1001]], [num-- of-- atom, [1000, 1001], 2], [not-- match, 2, 0], [not-- match, 2, 1]] Here, not-- match is a function for examining whether the two li
|