Computation as logic - Lalemant Rene (Paris Masson, 1993)
Keywords: Logic programming