This is a series of exercises for the Spring 2021 Logic Programming course in DIT@UoA.
All exercises are implemented in ECLiPSe-CLP Prolog.
The exercises of this group are implemented using the standard ECLiPSe-CLP Prolog predicates.
MatrixDiagonals
: Finding the ascending & descending diagonals of a 2-D Matrix.HopfieldNetworkTraining
: Computing the edge weights of a Hopfield Network.GamesPleasure
: Solving a maximization CSP, solved using standard predicates.
The exercises of this group are all CSP-based problems, and are solved using the ic
, ic_global
and branch_and_bound
libraries provided by ECLiPSe-CLP.
ImageDecode
: Decoding and printing an encoded black and white image, using the constraints regarding the number of black pixels in each row, column and diagonal.GamesPleasureCSP
: Solving the Exercise 3 of Group A, this time using theic
andbranch_and_bound
libraries.FlightSelection
: Finding the optimal flight schedule for an airline.HCVRP
: Solving instances of the Heterogenous Capacitated Vehicle Routing Problem.