thank you! the scryer community deserves much of the credit too. everyone is welcome and encouraged to join us at https://github.com/mthom/scryer-prolog! some exciting plans in the pipe
I've spinning up a new Shen implementation from scratch, in Racket, which integrates directly with my Prolog implementation, Scryer Prolog: https://github.com/mthom/scryer-shen/ Several innovations are documented in the…
not interested unless it is about the 80s indie pop band
The cat that pamphlet is about, Nightlife Mingus: http://achewood.com/?date=06202003
The ISO standard does not yet say anything about FFIs. I've heard that SWI's FFI is hampered by its garbage collection somehow. Since I'm working on a GC for Scryer now, it's probably a good idea to consider FFI…
No FFI yet, no. I'll first try to adapt LispWork's Foreign Language Interface by writing a compatibility layer for Rust. If that goes well, I'll begin to explore writing a Common Lisp FFI to Scryer, which may give…
I'm planning version 0.9.0 soon. From there I hope to get back to a regular release schedule.
You don't mind if I port Thun to Scryer Prolog, do you? With full credit to you, of course. I'd like to include it as an example.
Scryer is not yet as fast or feature-rich as SWI. SWI has been in business for about 30 years longer, so that shouldn't surprise anyone. Also, Scryer is committed to strict conformance to the ISO Prolog standard, which…
Yes, thank you for the Power of Prolog! Scryer was and is being written under its influence.
Decently, I'd say. It is a single executable that you have to build yourself. If you want a recent build, there are a few extra steps, but they're nbd. There are build instructions in the README ("Installing Scryer…
Some coming features of Scryer Prolog for those interested: - Automatic detection and compilation of partial strings - Streams, including sockets - Garbage collection in anticipation of very fast yet logically pure I/O…
To be clear, the "automatically caught" exception Markus lists in his integer_si example was caught and displayed by the Scryer toplevel.
> I'm not sure what's more amusing/depressing: that these people believe any shift on the order of magnitude the book described in the article predicts will permit continued functioning of society in a way that supports…
Thanks!
> I'm guessing the Prolog compiler is super complex compared to, say, a C compiler to be able to give developers that much power. They're not that complex. I'm writing one from scratch right now:…
No, and I have no idea what sort of legal can of worms that might open.
I took a break from working on it over the summer, and am about to start again. If anyone would like to pay me to work on it full time, do let me know.
Definitely, yeah. I'd hate to be tasked with creating an interface between SWI and SBCL. I would quickly go mad. Not that it will be a cakewalk with Rust, necessarily, but Scryer is much smaller, and Rust is way better…
Yes, that's right. Scryer as in scry-ing, the practice of gazing into crystals to communicate with spirits. I wish I'd thought of a better name but it's too late now.
Implementer here. I haven't set out to "implement an existing thing." Rather, the project is a combination of certain existing things that up to now haven't been available together in a single open source Prolog…
Wonderful and inspiring work! I wonder if it would be possible to create a similar interop story with the Rust programming language, which also targets LLVM -- ideally without having to redo all the hard work that went…
It is almost as though, prior to blockchain, nobody had conceived the idea of a distributed spreadsheet.
The title could really benefit from an Oxford comma.
New language constructs. The 'WAM' in the name refers to the Warren Abstract Machine, one of the more efficient ways to implement Prolog in a procedural language. Also, using the SICStus interface and semantics for…
thank you! the scryer community deserves much of the credit too. everyone is welcome and encouraged to join us at https://github.com/mthom/scryer-prolog! some exciting plans in the pipe
I've spinning up a new Shen implementation from scratch, in Racket, which integrates directly with my Prolog implementation, Scryer Prolog: https://github.com/mthom/scryer-shen/ Several innovations are documented in the…
not interested unless it is about the 80s indie pop band
The cat that pamphlet is about, Nightlife Mingus: http://achewood.com/?date=06202003
The ISO standard does not yet say anything about FFIs. I've heard that SWI's FFI is hampered by its garbage collection somehow. Since I'm working on a GC for Scryer now, it's probably a good idea to consider FFI…
No FFI yet, no. I'll first try to adapt LispWork's Foreign Language Interface by writing a compatibility layer for Rust. If that goes well, I'll begin to explore writing a Common Lisp FFI to Scryer, which may give…
I'm planning version 0.9.0 soon. From there I hope to get back to a regular release schedule.
You don't mind if I port Thun to Scryer Prolog, do you? With full credit to you, of course. I'd like to include it as an example.
Scryer is not yet as fast or feature-rich as SWI. SWI has been in business for about 30 years longer, so that shouldn't surprise anyone. Also, Scryer is committed to strict conformance to the ISO Prolog standard, which…
Yes, thank you for the Power of Prolog! Scryer was and is being written under its influence.
Decently, I'd say. It is a single executable that you have to build yourself. If you want a recent build, there are a few extra steps, but they're nbd. There are build instructions in the README ("Installing Scryer…
Some coming features of Scryer Prolog for those interested: - Automatic detection and compilation of partial strings - Streams, including sockets - Garbage collection in anticipation of very fast yet logically pure I/O…
To be clear, the "automatically caught" exception Markus lists in his integer_si example was caught and displayed by the Scryer toplevel.
> I'm not sure what's more amusing/depressing: that these people believe any shift on the order of magnitude the book described in the article predicts will permit continued functioning of society in a way that supports…
Thanks!
> I'm guessing the Prolog compiler is super complex compared to, say, a C compiler to be able to give developers that much power. They're not that complex. I'm writing one from scratch right now:…
No, and I have no idea what sort of legal can of worms that might open.
I took a break from working on it over the summer, and am about to start again. If anyone would like to pay me to work on it full time, do let me know.
Definitely, yeah. I'd hate to be tasked with creating an interface between SWI and SBCL. I would quickly go mad. Not that it will be a cakewalk with Rust, necessarily, but Scryer is much smaller, and Rust is way better…
Yes, that's right. Scryer as in scry-ing, the practice of gazing into crystals to communicate with spirits. I wish I'd thought of a better name but it's too late now.
Implementer here. I haven't set out to "implement an existing thing." Rather, the project is a combination of certain existing things that up to now haven't been available together in a single open source Prolog…
Wonderful and inspiring work! I wonder if it would be possible to create a similar interop story with the Rust programming language, which also targets LLVM -- ideally without having to redo all the hard work that went…
It is almost as though, prior to blockchain, nobody had conceived the idea of a distributed spreadsheet.
The title could really benefit from an Oxford comma.
New language constructs. The 'WAM' in the name refers to the Warren Abstract Machine, one of the more efficient ways to implement Prolog in a procedural language. Also, using the SICStus interface and semantics for…