Re: Ann: SWI-Prolog 7.1.9

On Thu, Feb 27, 2014 at 11:03 AM, Jan Wielemaker <[email protected]> wrote:

> Hi Jos,
>
> On 02/27/2014 12:38 AM, Jos De Roo wrote:
>
>> Hi Jan,
>>
>> With the attached file graph.n3p we get
>> $ swipl -f graph.n3p -g halt
>> % graph.n3p compiled 2.21 sec, 100,103 clauses
>>
>> Compared to version 6.6.1 this is a speed drop of 38%
>> $ swipl -f graph.n3p -g halt
>> % graph.n3p compiled 1.60 sec, 100,103 clauses
>>
>
> The original file didn't make it to the list because of
> the long attachment, but that doesn't matter too much.
>
> Yes, compilation in 7.x is slower.  This is because there
> is more support for term/goal expansion/4, which includes
> translation the source location information.  The second
> reason is that the functional notation support requires
> analyzing the source in more depth.
>
> If you want best speed for loading big Prolog data files,
> load them using a read/assert loop and finally call
> compile_predicates/1 to make the code static.  So,
>

Hi Jan,

Congratulations for the new release.

Is functional notation optional? (in the sense of module/3 declarations of
Ciao)
If so, does disabling functional notation alleviate compilation overheads?

Is there any subset of SWI functional notation that is compatible with
Ciao's fsyntax?

Thanks

-- 
Jose
-------------- next part --------------
HTML attachment scrubbed and removed