guregu/trealla
View on GitHub ↗ ★ 6 C
A compact, efficient Prolog interpreter written in plain-old C (Wasm experimental fork).
3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2022-08-08 · latest 2023-04-19
20082026
-
…which is a fascinating dive into what a Prolog-based networked query system could look like. [1]: http://github.com/guregu/trealla-js [2]: http://github.com/trealla-prolog/go [3]: https://github.com/guregu/trealla#spin-components [4]:…
comment by grose · 2023-04-19 · in Why did Prolog lose steam? (2010) -
…really say (I just ported it to WASM :-)), but here's more or less the start of the query loop: https://github.com/guregu/trealla/blob/main/src/query.c#L173... I believe it's a bytecode but I know that function pointers are involved at…
comment by grose · 2022-11-25 · in Wasmer 3.0 -
…a mistake, probably reorganizing things at the moment. You can find a slightly outdated fork here: https://github.com/guregu/trealla (note that this isn't a "hard fork" -- just a WIP pull request fork).
comment by grose · 2022-08-08 · in Trealla – A compact, efficient Prolog interpreter written in plain-old C