Programs written in prolog that solve some Constrain Satisfaction Problems for Logic Programming course (2020) at NKUA (DI).
-
listoflists.pl
A simple program written in prolog about set's and matrice's operations.
-
jobshop.pl
A program for solving the jobshop problem using pure prolog.
-
vertexcover.pl
A program for solving the vertex cover problem (using the graph.pl file that creates a graph).
-
stable.pl
A program for solving the stable marriage problem (using the data.pl file which is the data stable.p uses).
-
jobshop_opt.pl
A program for solving the jobshop problem using constraints.