Tents and trees solver in Prolog for the Logic for Programming course (Y1S1) Project grade: 19.5/20.0