Did you know ... Search Documentation:
Pack logtalk -- logtalk-3.41.0/manuals/_sources/refman/methods/coinductive_success_hook_1_2.rst.txt

The current version of pack logtalk does not contain a file logtalk-3.41.0/manuals/_sources/refman/methods/coinductive_success_hook_1_2.rst.txt