mthom

6 ms·

1.
by mthom 3y ago
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
2.
by mthom 3y ago
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 docume
3.
by mthom 4y ago
not interested unless it is about the 80s indie pop band
4.
by mthom 5y ago
The cat that pamphlet is about, Nightlife Mingus: http://achewood.com/?date=06202003
5.
by mthom 5y ago
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 concurre
6.
by mthom 5y ago
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 insights on
7.
by mthom 5y ago
I'm planning version 0.9.0 soon. From there I hope to get back to a regular release schedule.
8.
by mthom 6y ago
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.
9.
by mthom 6y ago
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 SWI has disregar
10.
by mthom 6y ago
Yes, thank you for the Power of Prolog! Scryer was and is being written under its influence.
11.
by mthom 6y ago
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 Prolog&quo
12.
by mthom 6y ago
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 - Improvemen
13.
by mthom 7y ago
To be clear, the "automatically caught" exception Markus lists in his integer_si example was caught and displayed by the Scryer toplevel.
14.
by mthom 7y ago
> 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 th
15.
by mthom 7y ago
Thanks!
16.
by mthom 7y ago
> 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: http://github.c
17.
by mthom 7y ago
No, and I have no idea what sort of legal can of worms that might open.
18.
by mthom 7y ago
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.
19.
by mthom 8y ago
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 behaved than C.
20.
by mthom 8y ago
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.
21.
by mthom 8y ago
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 environm
22.
by mthom 8y ago
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 into Clasp. I have a
23.
by mthom 8y ago
It is almost as though, prior to blockchain, nobody had conceived the idea of a distributed spreadsheet.
24.
by mthom 8y ago
The title could really benefit from an Oxford comma.
25.
by mthom 8y ago
I don't know enough about answer set programming to give much of an answer. Sorry.
26.
by mthom 8y ago
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 attributed vari
27.
by mthom 8y ago
I'd venture to say.. Prolog and Shen. Specifically, I am implementing a modern Prolog in Rust that will encompass the results of some more recent (ie. current century) research within the logic programming/Prolog community. It&#x2
28.
by mthom 8y ago
You're on HN, my man, the solution is never not an app!