Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Tabled evaluation is a recognized and porful technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redundant sub-computations. During tabled execution, several decisions have to be made. These are determined by the scheduling strategy. Whereas a strategy can achieve very good performance for certain applications, for others it might add overheads and even lead to unacceptable inefficiency. The two most successful tabling scheduling strategies are local scheduling and batched scheduling. In previous work,  have developed a framework, on top of the Yap system, that supports the combination of different linear tabling strategies for local scheduling. In this work,  propose the extension of our framework, to support batched scheduling. In particular,  are interested in the two most successful linear tabling strategies, the DRA and DRE strategies. To the best of our knowledge, no single tabling Prolog system supports both strategies simultaneously for batched scheduling.
['Miguel Areias', 'Ricardo Rocha']
I am writing a research paper on a idea On Extending a Linear Tabling Framework to Support Batched Scheduling
[{"from": "human", "value": "I am writing a research paper on a idea On Extending a Linear Tabling Framework to Support Batched Scheduling"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Tabled evaluation is a recognized and porful technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redundant sub-computations. During tabled execution, several decisions have to be made. These are determined by the scheduling strategy. Whereas a strategy can achieve very good performance for certain applications, for others it might add overheads and even lead to unacceptable inefficiency. The two most successful tabling scheduling strategies are local scheduling and batched scheduling. In previous work,  have developed a framework, on top of the Yap system, that supports the combination of different linear tabling strategies for local scheduling. In this work,  propose the extension of our framework, to support batched scheduling. In particular,  are interested in the two most successful linear tabling strategies, the DRA and DRE strategies. To the best of our knowledge, no single tabling Prolog system supports both strategies simultaneously for batched scheduling."}]