DLVHEX solver: core system and plugin API