LPC-LDC-prolog