primeras pruebas de generacion de lps con writeLp