I'm really curious now what a Definite Clause Grammar / state-machine like parser would look like.
-
Show this thread
-
Anyway, time to read back up on Prolog; no better place to start than the original Chalk post: http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/ …
2 replies 0 retweets 2 likesShow this thread -
Replying to @yoshuawuyts
Wait is Prolog actually useful was my university not lying to me when I needed to learn it
1 reply 0 retweets 1 like
Replying to @holopollock
Haha, yeah it def is! Rust's new trait resolver is essentially a Prolog engine. Not an expert on any of this tho, so don't have a full picture. But it seems to be popping up in some key places that makes me suspect we haven't seen the last of it.
2:45 PM - 14 Dec 2019
from Berlin, Germany
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.