“You will notice that Prolog has some similarities to a functional programming language such as Hugs.A functional program consists of a sequence of function definitions — a logic program consists of a sequence of relation definitions.” — Anonymous Copy Share Image
“Functional programming has excellent support for writing imperative programs, with the added benefit that such programs can be reasoned about equationally because they're referentially transparent.” — Anonymous Copy Share Image