Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic.

Domenico Sacc, Carlo Zaniolo

Browse the full ICLP paper archive.