go

Trealla Prolog embedded in Go using WASM (by trealla-prolog)

Go Alternatives

Similar projects and alternatives to go

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better go alternative or higher similarity.

go discussion

Log in or Post with

go reviews and mentions

Posts with mentions or reviews of go. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-07-18.
  • Ask HN: What's Prolog Like in 2024?
    21 projects | news.ycombinator.com | 18 Jul 2024
    It's great to hear new people are interested in the language! I was enlightened a couple years ago and fell in love.

    Currently I'm focusing on creating easy-to-use embeddings of Trealla Prolog using Wasm. 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 Prolog written in C that supports CLP(Z) and is broadly compatible with Scryer. It's quite fast! I'm currently using it for some expert system stuff at $work and as an internet forum embedded scripting language for $fun.

    Speaking of Scryer, they recently got their WebAssembly build working and I hope to contribute a JS library for them in the future as their API stabilizes. Scryer and Trealla are both aiming for ISO compatibility, so it's my hope that we can foster an ecosystem for modern ISO Prolog and provide more embeddings in the future. It's super convenient to get logic programmer superpowers in your favorite language. Also check out Scryer's new website: https://www.scryer.pl/

    For something on the silly side, check out https://php.energy. Prolog Home Page, it's web scale :-). It's proof that you can integrate Prolog with bleeding edge stuff like Spin (server-side wasm ecosystem).

  • PHP: Prolog Home Page
    10 projects | news.ycombinator.com | 7 Jan 2023
  • Prolog at work
    4 projects | /r/prolog | 28 Dec 2022
    With trealla-prolog/go on the backend and trealla-js on the frontend, you can share the same validation code.
  • Mangle, a programming language for deductive database programming
    12 projects | news.ycombinator.com | 26 Nov 2022
    Other resources for logic programming and Go:

    ichiban/prolog - ISO Prolog interpreter in pure Go, getting close to 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): https://github.com/guregu/pengine

    biscuit-auth/biscuit-go - Biscuits are a fancy auth token with a little Datalog engine: https://github.com/biscuit-auth/biscuit-go

    I'm a big fan of logic programming. We've been seeing a small resurgence of interest in it (for example Yarn using Prolog made some waves) and I have some optimism for its future.

  • The Carcinization of Go Programs
    4 projects | news.ycombinator.com | 23 Nov 2022
    Nice article! I think this is an exciting 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. My assumption is that wazero will be slower than the cranelift-optimized wasmtime, etc. but I have not seen any benchmarks anywhere.

    My impressions of the Go WASM libraries:

    wazero: great Go-friendly API, not sure about performance, works on all OS (what the author chose)

    wasmer: provides bare-minimum input and output for WASI, fast (it's what I chose for trealla-go). Doesn't work on Windows without significant pain, doesn't static compile the wasmer libraries so distribution is a pain. Seems essentially abandoned as its main contributor left the company.

    wasmtime: basically impossible to get input and output in any reasonable way (unable to set stdin or read stdout; it can only inherit the FDs from the host), but might finally get buffers for I/O soon.

    wasmedge: haven't investigated this yet, but it seems like it solves many of the problems above, promising

    If anyone knows of a benchmark between these, I'd love to see it. I can try to run Trealla's against them if it doesn't take too much work.

  • Trealla – A compact, efficient Prolog interpreter written in plain-old C
    4 projects | news.ycombinator.com | 7 Aug 2022
    It was just made private, I guess. Only the Go WebAssembly project is still public: https://github.com/trealla-prolog/trealla-go
  • A note from our sponsor - SaaSHub
    www.saashub.com | 5 Dec 2024
    SaaSHub helps you find the best software and product alternatives Learn more β†’

Stats

Basic go repo stats
6
79
8.7
9 days ago

trealla-prolog/go is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of go is Go.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com

Did you konow that Go is
the 4th most popular programming language
based on number of metions?