1 paper
Koiti Hasida, Takashi Miyata
The standard tabulation techniques for logic programming presuppose fixed order of computation. Some data-driven control should be introduced in order to deal with diverse contexts…