Me gustaría hacer una gramática que permita las llamadas a la función al curry. Es decir: a() /// good
a()() /// good
a()()() /// good
a(a) /// good
a(a()()) /// good
/// etc
Mi primer intento
Tengo un pequeño problema con la recursividad a la izquierda en esta gramática. Intento escribirlo en Prolog, pero no sé cómo eliminar la recursividad a la izquierda. <expression> -> <simple_expressio