Abstract

Logic and Programming in Logci gives a fresh look to both Logic and Logic Programming in Prolog. It offers a novel approach for those learning or teaching either Logic or Logic Programming. The chief innovation lies in the melding of both topics: not only does the discussion of provide a good underpinning for the intending Prolog programmer, but the treatment of Prolog also enables the logician to put theory into practice in Prolog and make the subject come alive. The book presumes no prior knowledge of either Prolog, Logic or Logic Programming and takes a very practical approach. It is written in an unusually easy?to?read and accessible style. Containing over 100 exercises and their solutions, Logic and Programming in Logic may be used either as a textbook or for self study and is ideally suited to those wishing to get a solid grasp of the exciting world of Logic and Logic Programming.