Golog has no indexing at the moment. I've sketched one indexing technique that might work. Try implementing it.
Make sure that I can implement different indexing techniques for different predicates. Some predicates may have only a couple, shallow heads. Others may have many heads or very deep heads. I suspect that no single indexing algorithm can perform well on them all.
Golog has no indexing at the moment. I've sketched one indexing technique that might work. Try implementing it.
Make sure that I can implement different indexing techniques for different predicates. Some predicates may have only a couple, shallow heads. Others may have many heads or very deep heads. I suspect that no single indexing algorithm can perform well on them all.