An explanation facility is the part of an expert system that "explains the reasoning of the system to the user".
Means-ends analysis is useful for many human "planning" activities.
Prolog is based on the resolution proof method developed by Robinson in 1966
For a Natural language processing system to be capable of producing advice similar to that which one might get from a lawyer, it needs to operate at the same pragmatic level of abstraction as does a lawyer.