Parametric external predicates for the DLV System

Details Parametric external predicates for the DLV System Parametric external predicates for the DLV System

2004-04-05

arxiv.org/abs/cs/0404011v1

Computer Science

Artificial Intelligence

10 pages

Scientific paper

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 realized by the introduction of parametric external
predicates, whose extension is not specified through a logic program but
implicitly computed through external code.

Affiliated with

Also associated with

No associations

Rating

Parametric external predicates for the DLV System does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Parametric external predicates for the DLV System, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Parametric external predicates for the DLV System will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-666628