News for hackers. Stuff that matters.

A comment on The Power of Prolog. Parent comment

Re:The Power of Prolog by felixyz on Thursday April 09, 2020 @02:38AM (#22820341)
> very fast yet logically pure I/O

Sounds interesting, do you have a link or something else to share regarding your conception of logically pure I/O?

[ Parent | on HN ]
Re:The Power of Prolog by Avshalom on Thursday April 09, 2020 @08:38AM (#22821935)
https://www.swi-prolog.org/pldoc/man?section=pio

https://github.com/SWI-Prolog/swipl-devel/blob/master/librar...

this (I assume) is the library(pio) mentioned in the github issue

[ Parent | on HN ]
Re:The Power of Prolog by falsissime on Thursday April 09, 2020 @12:59PM (#22824627)
From the interface (mostly yes, that, is apart from the impure extensions added later, and that chars are used and not codes) it is the same. But from the implementation behind it´s different. In particular from the space requirements. A text of n characters requires 3 * 8 * n bytes in SWI, but n + 2 * 8 bytes in Scryer. So there is a factor 24 in space requirements (on 64bit).

Also, there is now ample room for input that SWI once almost offered.

[ Parent | on HN ]
Re:The Power of Prolog by falsissime on Thursday April 09, 2020 @05:54AM (#22821093)
See https://github.com/mthom/scryer-prolog/issues/251
[ Parent | on HN ]