Prolog and inductive reasoning: a logic programming language