Parametric external predicates for the DLV System
This document describes syntax, semantics and implementation guidelines in order to enrich the DLV system with the possibility to make
arxiv.orgrank this link
1 indexed results
This document describes syntax, semantics and implementation guidelines in order to enrich the DLV system with the possibility to make