Title: Functional programming interpreter in PROLOG