A Code question

[Okakura-Tenshin]

I have a question when reading the source code. In the prolog_inference.py function of the logical reasoning part, I found that only the inverse_prolog_inference function is used for derivational reasoning, and the other three transformations you defined—transitive_prolog_inference, composite_prolog_inference, and negation_prolog_inference—are not used. Can you explain the reasons?

[Ningke-Li]

I have a question when reading the source code. In the prolog_inference.py function of the logical reasoning part, I found that only the inverse_prolog_inference function is used for derivational reasoning, and the other three transformations you defined—transitive_prolog_inference, composite_prolog_inference, and negation_prolog_inference—are not used. Can you explain the reasons?

Sorry for the delayed response. Actually you can use any of these functions to generate the corresponding test cases, as they are separate processes. I put inverse_prolog_inference here as an example to show how to generate the inverse cases and you can just replace the 'inverse' with any other transformations if you'd like to.