[Yap-users] Prolog standards compliance bugs

[Paulo M. <pm...@lo...>]

Hi,

For those of you that are looking for opportunities to help in YAP development, you can get a list of current Prolog standards (official and de facto) bugs by installing Logtalk and using its standard compliance suite. After installation and compilation of the current YAP git version, try:

$ cd ~/logtalk/tests/prolog
$ logtalk_tester -p yap
...

As of this writing, we have:

*******************************************************************************
***** 1516 tests:       14 skipped,     1313 passed,      189 failed
*******************************************************************************

A good number of the failed tests concern non-standard exception terms and should be easy or relatively easy to fix. Happy patching :-)

Cheers,

Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

Email: <mailto:pm...@lo...>
Web:   <http://logtalk.org/>
-----------------------------------------------------------------