Books — Prolog

RU
Logic and Computer: Modeling Reasoning and Program Correctness Verification

Logic and Computer: Modeling Reasoning and Program Correctness Verification

A

Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак

AI and ML
EN
An Introduction to Logic Programming Through Prolog

An Introduction to Logic Programming Through Prolog

A

Michael Spivey

Programming languages
RU
Artificial Intelligence Algorithms in PROLOG

Artificial Intelligence Algorithms in PROLOG

B

Иван Братко

Algorithms and theory
EN
Logic for Programmers

Logic for Programmers

A

Hillel Wayne

Databases
EN
Problem Solving with Prolog

Problem Solving with Prolog

A

John Stobo

Programming languages
EN
The First 10 Prolog Programming Contests

The First 10 Prolog Programming Contests

A

Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Tronçon

Programming languages
RU
Artificial Intelligence System Design

Artificial Intelligence System Design

A

С.Л. Сотник

Algorithms and theory
RU
Recursive Logic Programming 2013 Cherkashin E A

Recursive Logic Programming 2013 Cherkashin E A

D

Е. А. Черкашин

Programming languages
RU
Fundamentals of Artificial Intelligence

Fundamentals of Artificial Intelligence

A

Е. В. Боровская, Н. А. Давыдова

AI and ML
RU
Models, methods, algorithms, and software solutions for computing machines, complexes, and systems

Models, methods, algorithms, and software solutions for computing machines, complexes, and systems

A

С. В. Веретехина, В. Л. Симонов, О. Л. Мнацаканян

OS and System
RU
Discrete Mathematics. Formal Logical Systems and Languages

Discrete Mathematics. Formal Logical Systems and Languages

A

С. М. Авдошин, А. А. Набебин

Algorithms and theory
RU
Introduction to Logic Programming

Introduction to Logic Programming

A

Майкл Дженесерет, Винай К. Чаудри

Programming languages