"Functional and Logic Programming, 9 conf., FLOPS 2008" - читать интересную книгу автора (Jacques Garrigue, Manuel Hermenegildo)