"Logic for Problem Solving (Artificial intelligence series)" - читать интересную книгу автора (Robert A. Kowalski)