1 Use cuts to improve the efficiency of queries in Example 15.2. Make reasonable assumptions about which kinds of query are most likely. What queries will have their answers affected by your cuts? 2...

1 Use cuts to improve the efficiency of queries in Example 15.2. Make reasonable assumptions about which kinds of query are most likely. What queries will have their answers affected by your cuts?

2 Finish the coding of the PROLOG spellchecker of Programs 15.1–15.3.

3 Modify the PROLOG spellchecker of Programs 15.1–15.3 to use a third dictionary, the
user dictionary. Any unknown words accepted by the user are to be added to the user dictionary, which must be saved when the program finishes. The main dictionary is no longer to be updated.