Programación lógica recursiva 2013 Cherkashin E A
D