prolog
2022_beijing
prolog | 2022_beijing | |
---|---|---|
14 | 25 | |
539 | 237 | |
- | - | |
5.6 | 0.0 | |
3 months ago | over 2 years ago | |
Go | HTML | |
MIT 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.
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
2022_beijing
-
FBI urges temporary phones for Olympic athletes
The "My 2022" Olympic app is interesting. Basic China.
- 2022 Banned Words list in Beijing
- China is requiring a mandatory app that is ostensibly for "health monitoring" for all Beijing Olympics participants, media and govt officials. As you'd expect, it turns out to be spyware that records everything said.
-
Official Being2022 apps silently collect audio
I really wanted to believe in this but the "evidence" is pretty poor: https://github.com/jonathandata1/2022_beijing
I read a lot of security reports and you don't include a screenshot of random Wireshark packets with red arrows saying "This shows data leaving the iPhone".
This means at least one thing: this was written in a way to be picked up and mentioned by larger media and non-tech people.
So, to me it sounds more like if someone with a stake in all this said "Hi researcher. Here are 10K USD. Find me something controversial to shout about on Twitter and point fingers. Just add some technical terms here and there and we'll be fine.".
- The 2000+ phrases banned from CCP's Olympics app
- Decompiled 2022 Beijing Olympics Apps
- Someone extracted the 'illegal words' from the Beijing Olympics app
- Beijing2022 App required for all Olympic participants has been decompiled; is recording audio and sending it to Chinese servers
What are some alternatives?
go-python - naive go bindings to the CPython2 C-API
rob501 - Mathematics for Robotics
go-lua - A Lua VM in Go
OPA (Open Policy Agent) - Open Policy Agent (OPA) is an open source, general-purpose policy engine.
gval - Expression evaluation in golang
otto - A JavaScript interpreter in Go (golang)
scryer-prolog - A modern Prolog implementation written mostly in Rust.
go-php - PHP bindings for the Go programming language (Golang)
gopher-lua - GopherLua: VM and compiler for Lua in Go
agora
expr - Expression language and expression evaluation for Go [Moved to: https://github.com/expr-lang/expr]
tengo - A fast script language for Go