Question: In this paper, what symbolic solver is used to implement the logic programming module shown in Figure 1?
Answer: Pyke