Implementation of a Prolog interpreter, written in Haskell.
The interpreter supports both 'Top-Down' and 'Bottom-Up' modes of operation.
This project was given as an assignment for the module ΘΠ01 Principles of Programming Languages
Project Description (in Greek!)
This is the indicative implementation expected of students.
Demo:
