Introduction to Logic Programming
A

Introduction to Logic Programming

Other Languages
logic programming Prolog deductive databases executable specifications query languages symbolic logic programming paradigms
Author
Michael Genesereth, Vinay K. Chaudhri
Publisher
DMK Press
Year
2022
Language
Russian
212
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Programming Methods in Problems and Examples in C/C++

Programming Methods in Problems and Examples in C/C++

V. D. Valedinsky, A. A. Kornev

C++ Programming: A Practical Course

C++ Programming: A Practical Course

M. V. Ogneva, E. V. Kudrina

Python for Everyone. Data Processing with Python 3

Python for Everyone. Data Processing with Python 3

Charles R. Severance

Python. Exercise Collection. Introduction to Python with Problems and Solutions

Python. Exercise Collection. Introduction to Python with Problems and Solutions

Ben Stevenson

Theoretical Minimum on Big Data. Everything You Need to Know About Big Data

Theoretical Minimum on Big Data. Everything You Need to Know About Big Data

Yoon Annalyn, Soo Kenneth

Implementation of Useful Algorithms in C++

Implementation of Useful Algorithms in C++

Dmytro Kedyk

Computer Science: Java programming fundamentals, OOP, algorithms and data structures

Computer Science: Java programming fundamentals, OOP, algorithms and data structures

Robert Sedgewick, Kevin Wayne

Program correctness proof

Program correctness proof

C. Rustan M. Leino

JavaScript. How to Write Programs

JavaScript. How to Write Programs

V. V. Yantsev

Working with Microsoft SQL Server Databases: Practical Exercises Scenarios

Working with Microsoft SQL Server Databases: Practical Exercises Scenarios

A. I. Mitin