Prolog | Professional literature for training, studies and practice

In the Prolog category, you will find specialized literature on logical programming and the Prolog programming language. The titles cover fundamentals, methodological introductions, and applications in knowledge-based systems, artificial intelligence, and constraint programming. Typical types of works include textbooks, conference proceedings, standard references, and practical guides to ISO-compliant programming.

The works are aimed at students, developers, and researchers working in the fields of logic programming, expert systems, or parallel and constraint-based approaches. Also included are comparisons of Prolog implementations as well as foundational works on related topics such as functional programming and programming language metamodels.