search

hexhex / core

DLVHEX solver: core system and plugin API
http://www.kr.tuwien.ac.at/research/systems/dlvhex/
GNU Lesser General Public License v2.1
24 stars 8 forks source link

Dynamic Herbrand Base #10

Open peschue opened 11 years ago

peschue commented 11 years ago

External atoms do value invention, this means that we have to grow the Herbrand Base on the run. See also iclingo