Computation as logic - Lalement, Rene (London Prentice Hall ; Paris Masson, 1993)
Keywords: Functional programming (Computer science); Logic programming; Logic, Symbolic and mathematical