Pinned Tweet
The new version of an embeddable ISO Prolog for Go, ichiban/[email protected] is out! The API hasn't changed. It just got faster and safer! #prolog #go #golang
github.com/ichiban/prolog/re…
structもgenericにできることに気づいたので Map[K cmp.Ordered, V any] みたいな利用しやすい形になった gist.github.com/ichiban/7036…
Goのgenericsをゴニョゴニョしてたら便利そうなものができた。bump allocationでGCにやさしい赤黒木 gist.github.com/ichiban/7036…
In Prolog, terms (statements) are separated by periods yet you can write a float like `3.14`. So how does a Prolog interpreter know it's `X = 3.14.` not `X = 3.` and `14.`? 🧵 #prolog #programming #language #syntax
When a Prolog interpreter sees `3.`- a period following a sequence of decimal digit chars (0-9), it peeks the next character. If the next character is also a decimal digit char, then it's a float number token. #prolog
If the next character is either a layout char (whitespace) or single line comment, it's an end token. So the Prolog processor knows it's `X = 3.14.` #prolog
1ban retweeted
I think the net effect of businesses offering AI products in their current incarnation will mainly come in the form of reduced margins. Most value will accrue to the users and it will be tough for a while to make money. connor-shepherd.ghost.io/ai-…
I've just released v1.0.0 of github.com/ichiban/prolog - an embeddable ISO Prolog interpreter for Go. #go #golang #prolog
1ban retweeted
Goで論理プログラミング|guregu zenn.dev/guregu/articles/509… #zenn
1ban retweeted
Just released v0.1.0 of my pengines client for Go!
You can now do RPC directly from @1ban's Go prolog interpreter to a remote @SwiProlog_ 😎
github.com/guregu/pengine#rp…
#prolog #golang
I'm pleased to announce that I've released the newest version of github.com/ichiban/prolog v0.9.0 with many improvements on ISO standard compliance #golang #prolog github.com/ichiban/prolog/re…
This version comes with between/3, a Prolog prologue predicate contributed by @guregu!






