OPENLOG: A Logic Programming Language Based on Abduction.

Jacinto A. Dvila

Browse the full PPDP paper archive.