That drove my attention that I was also missing a test for that example in the Logtalk port of EDCGs. Added as:
test(gemini_1) :-
gemini::p(1, S0, S, _),
S0 == S.
That drove my attention that I was also missing a test for that example in the Logtalk port of EDCGs. Added as:
test(gemini_1) :-
gemini::p(1, S0, S, _),
S0 == S.