⚔️ Game of Thrones character database and family trees in Prolog

Film expert system based on logic rules. Created at the Univeristy as the project within Declarative Programming classes in 2015. The purpose of this project was to creat expert system in Prolog and improve understanding of declarative programming paradigm.

Medical Diagnosis system using Prolog

Ejercicios sobre Programación Lógica

Converting formula into CNF using rules. Created at the University as the project within Logic in Computer Science classes in 2016. The purpose of this project was to learn converting formulas into CNF based on Prolog's rules.

Системы искусственного интеллекта (ЛР №1)

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. Logic programming is a programming paradigm based on mathematical logic. In this paradigm the programmer specifies relationships among data values (this constitutes a logic program) and t…

Prolog-Code

Connecting the declarative logic programming paradigm with the ease of use of spreadsheets

Prolog is a logic programming language associated with artificial intelligence and computational linguistics.