Table of Contents

Introduction to specification; Formal methods and Prolog; First steps; Prolog programming; Practical Prolog; The interpreter's control strategy; Input and output; Data structures; Object-oriented programming and Prolog; The meaning of a Prolog program; Influencing the interpreter's control strategy - the cut; Comparison of Prolog and Pascal; Developing programs in Pascal; Conclusion.