1 paper · 1 filter
G. Ianni, F. Calimeri, A. Pietramala +1
This document describes syntax, semantics and implementation guidelines in order to enrich the DLV system with the possibility to make external C function calls. This feature is re…