Inductive logic programming [24] is situated in the intersection of machine learning or data mining on the one hand, and logic programming on the other hand. It shares with the former fields the goal ...

This repository contains laboratory assignments for the "Loginis Programavimas" (Logic Programming) university course. The projects focus on declarative problem-solving, recursive logic, and ...

Lean4 is a purely functional programming language based on the calculus of constructions with inductive types. Formal verification of claims are expressed in precise mathematical terms.