Needless to say, lgtunit doesn’t require any porting and work as-is with all systems participating here ( and several more). The Prolog standards compliance suite flags multiple bugs in most of these systems. It also includes test sets for Prolog features such as Unicode (wip) and unbound integer arithmetic. Happy to add tests for other features such as tabling. All together, the current Logtalk distribution includes more than 10k tests. Automation support is provided for both POSIX and Windows systems. Report generation is included.
I don’t see a strong requirement to select a single testing framework. I will be however happy if people here actually run those tests and start fixing the exposed bugs, notably those in core features. That would be meaningful progress. Is really simple. On POSIX:
$ cd logtalk
$ logtalk_tester -p eclipse (or ciao, or xsb, or swi, or...)
On Windows:
PS > cd Logtalk
PS > logtalk_tester.ps1 -p eclipse (or ...)
Do you want a nice report?
$ logtalk_tester -p eclipse -f xunit
$ logtalk_allure_report
$ allure open
Similar on Windows. Just add the .ps1 extension.