Epilog: A Language for Extended Programming in Logic.

Antnio Porto

Browse the full ICLP paper archive.