Constraint Logic Programming; Prolog

PrettyCLP: a Light Java Implementation for Teaching CLP

Recursion is nowadays taught to students since their first programming days in order to embed it deeply in their brains. However, students' first impact on Prolog programs execution sometimes weakens their faith in recursive programming thus …