4 Computational Logic: The Unification Computation J. A. Robinson
–AI Classics/files/AI/classics/Machine Intelligence 6/MI6-Ch4-Robinson.pdf
Given P {P1,.. P„} as input, set j 0, 00 8 (the identity substitution), and go to step 2. Step 2. (for j 0): if Pi0j is a singleton for each i, 1 1,.. n,
Jan-25-2015, 22:16:48 GMT
- Technology: