prolog
expr
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
prolog
-
Mangle, a programming language for deductive database programming
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.
- Golog library/language?
-
State machines and reconciliation loops
fully native Prolog, or embedded? I am very familiar with Go, so I was intrigued to see ichiban/prolog. This might enable me to leverage some existing libraries (GitHub, git, etc) and save Prolog for the logic that drives them.
-
Let's philosophize a bit :-)
You may also be interested in this Prolog interpreter in Go: https://github.com/ichiban/prolog
-
Interpreters built in Go
There have been several Prolog interpreters written in Golang. This one appears to be most active: https://github.com/ichiban/prolog .
-
The Power of Prolog
For Go, you have prolog as a scripting engine https://github.com/ichiban/prolog
- Prolog runtime for aws lambda?
- Prolog Go Library
-
Hacker News top posts: Jan 27, 2022
An embeddable Prolog scripting language for Go\ (2 comments)
- An embeddable Prolog scripting language for Go
expr
-
Solving the Expression Problem in Go
Not diminishing the article at all, there's massive value I've gained from leveraging this runtime solution in multiple projects: https://github.com/antonmedv/expr
The language is easy enough for people to pick-up.
- Expr Release v1.15
- Expr v1.14 release: Go expression language
- Expr – expression language with type checker
-
FireScroll - The config database to deploy everywhere (now with conditional statements!)
Uses the [expr](https://github.com/antonmedv/expr) language to achieve this and I've been super happy with the results.
-
Library to analyze an arbitrary JSON string
I have been using expr (https://github.com/antonmedv/expr) to do something like this for a while. no complains so far.
-
[gcalc] A simple calculater in golang
If you wanted it to not require putting in the operation first and just accept string equations (without using something like https://github.com/antonmedv/expr) you could parse, tokenize and then process the input.
- Go Expression Language
- Polymode: Multiple Major Modes and How to Use SQL and Python in One Buffer
- Expr (Go expression language) releases v1.11
What are some alternatives?
go-python - naive go bindings to the CPython2 C-API
govaluate - Arbitrary expression evaluation for golang
go-lua - A Lua VM in Go
cel-go - Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)
OPA (Open Policy Agent) - Open Policy Agent (OPA) is an open source, general-purpose policy engine.
gval - Expression evaluation in golang
grule-rule-engine - Rule engine implementation in Golang
otto - A JavaScript interpreter in Go (golang)
tengo - A fast script language for Go
scryer-prolog - A modern Prolog implementation written mostly in Rust.
mosalat - a rule-engine with custom dsl for golang