Re: Remarks on SWI 7

On 11/27/2013 11:41 AM, Ulrich Neumerkel wrote:
> Jan Wielemaker:
>> As it stands, Prolog compatibility is a joke. Practical programming
>> requires much more than what ISO has standardised. Paulo has succeeded
>
> An illustrative example how you are refusing to cooperate for
> built-ins outside core but in the context of ISO.  This is open since
> two years:
>
> http://www.complang.tuwien.ac.at/ulrich/iso-prolog/length
>
> 9 systems were considered, 5 moved immediately after Lexington to the
> agreed upon behaviour.  But not SWI.
>
> Even more ironic in this case is that I have written the core list
> traversal routines (first Floyd, then after I got the hint, Brent) for
> SWI to make this fast.  It has nothing to do with your workload, it is
> another issue.

A standard that _prescribes_ that length(2,0) should fail silently is
something I refuse to take seriously.  So yes, it is another issue.

	Cheers --- Jan