Teaching assist materials for Logic programming in winter and summer semesters of 2019-2020

Prolog solver for Freecell, a kind of card solitaire game.

Assignments for course COL765 - Introduction to Logical and Functional Programming at IIT Delhi

lisprolog lol

Course "Programming Languages and Systems" (in Russian language).

IT and Lacan, Programming Languages and Lacanian Psychoanalysis

A pure HTML, CSS and JS calculator for proving tautologies in set theory

Логическо програмиране

Reference manuals for Ciao

Contextual Chatbot in PyTorch

Project developed for 'Logic Programming', a third year subject @FEUP. Made in collaboration with @AndreFCruz.

Mathematical foundations of computing and programming languages---A hybrid course dealing with automata theory and covering some paradigms about programming languages

Exercises and examples using SWI-Prolog from "Prolog Programming for Artificial Intelligence" (4e) - Ivan Bratko

Метод ускорения выполнения запросов в базе данных на основе распараллеливания с использованием логического языка программирования.

Master thesis of degree program in Artificial Intelligence at Unibo

BibTeX collection of publications related to Constraint Handling Rules

All SDCAI coursework for the 2017-18 academic year

A study in slate gray

🎓 Функциональное и Логическое программирование на Lisp и Prolog, 6 семестр, BMSTU, IU7(2019)

Constrain satisfaction solver for Social Golfer problem using SICStus Prolog