Declarative Programming : Functional Programming, Logic Programming, Currying, Frame Problem, Unification, Graph Reduction MacHine by Source: Wikipedia | Menrva Books