pengine VS predicates

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.

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.

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.