pengine
| biscuit-go | pengine | |
|---|---|---|
| 2 | 2 | |
| 67 | 7 | |
| - | - | |
| 3.8 | 0.0 | |
| 7 days ago | over 1 year ago | |
| Go | Go | |
| Apache License 2.0 | BSD 2-clause "Simplified" License |
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.
biscuit-go
-
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.
-
Biscuit authentication/authorization tokens are released in v1.0
There are also implementations in Java and Go, and an online playground to test the policy language.
pengine
-
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.
-
Prolog runtime for aws lambda?
This can work surprisingly well. There are some helpful predicates in guregu/predicates to deal with JSON and filesystem stuff (for example, you could hook up predicates.FS with something like jszwec/s3fs to easily load files from S3). If you end up needing a more mature Prolog, I also have a Go implementation of pengine_rpc/3 in the pengine package to easily call SWI.
What are some alternatives?
mangle
wuffs - Wrangling Untrusted File Formats Safely
prolog - The only reasonable scripting engine for Go.
curve25519-dalek - A pure-Rust implementation of group operations on Ristretto and Curve25519
go - Trealla Prolog embedded in Go using WASM
zetasql - ZetaSQL - Analyzer Framework for SQL
dex-lang - Research language for array processing in the Haskell/ML family
rune - Rune is a programming language developed to test ideas for improving security and efficiency.
prolamb - SWI-Prolog lambda runtime
biscuit-java - Java implementation of the Biscuit authentication and authorization token
logica - Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.