"Logic programming in C++" - читать интересную книгу автора (Edwards S.H.)