description
This second edition contains revised chapters taking into account recent research advances. More advanced exercises have been included, and ''Part II The Prolog Language'' has been modified to be compatible with the new Prolog standard. This is a graduate l