Prolog and inductive reasoning: a logic programming language | DealShopping Deutschland