trealla-prolog/go
View on GitHub ↗ ★ 84 Go
Trealla Prolog embedded in Go using WASM
8 mentions on Hacker News by 2 people: 1 story, 7 comments · first 2022-08-07 · latest 2024-07-18
20082026
-
…You can find my TypeScript library here: https://github.com/guregu/trealla-js and Go library here: https://github.com/trealla-prolog/go . The goal is to make the libraries as painless as possible. Trealla is a portable and lightweight…
comment by grose · 2024-07-18 · in Ask HN: What's Prolog like in 2024? -
…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]: https://github.com/Web-Prolog/swi-web-prolo…
comment by grose · 2023-04-19 · in Why did Prolog lose steam? (2010) -
…to parse Prolog terms, which is now super fast[6]! [1]: https://github.com/guregu/trealla-js [2]: https://github.com/trealla-prolog/go [3]: https://www.swi-prolog.org/pldoc/man?predicate=assertz/1 [4]:…
comment by grose · 2023-01-08 · in PHP: Prolog Home Page -
…v1: https://github.com/ichiban/prolog trealla-prolog/go - ISO Prolog interpreter embedded via WASM: https://github.com/trealla-prolog/go guregu/pengine - library for interfacing with Pengines (SWI-Prolog's RPC protocol):…
comment by grose · 2022-11-27 · in Mangle, a programming language for deductive database programming -
…approach to cross-platform support. I took a similar approach for Trealla Prolog's Go library: https://github.com/trealla-prolog/go The biggest roadblock at the moment is that Go WASM libraries are not in a very good state, except wazero.…
comment by grose · 2022-11-23 · in The Carcinization of Go Programs -
…mmap(2), an innovation that is currently unique to Trealla! There is also a recent WASM embedding: https://github.com/guregu/trealla-go Thank you a lot Andrew and all contributors for your great work on Trealla! It is to be hoped that…
comment by triska · 2022-08-08 · in Trealla – A compact, efficient Prolog interpreter written in plain-old C -
…to grab the results. This may become fancier in the future. You can see the relevant code here: https://github.com/guregu/trealla-go/blob/333645147df083dd26... that builds up the command line arguments for tpl (the Trealla binary, shoved…
comment by grose · 2022-08-08 · in Trealla Prolog embedded in Go using WASM -
▲ 89
Trealla Prolog embedded in Go using WASMstory by triska · 2022-08-07 · 12 comments