The current version of pack logtalk does not contain a file logtalk-3.20.0/tests/logtalk/directives/coinductive_1/tester.lgt
logtalk
logtalk-3.20.0/tests/logtalk/directives/coinductive_1/tester.lgt