This is Chris Patuzzo! His work does not get enough attention. He mentioned Sentient Lang in the article. It is really, really cool. Its a compile-to-JS declar

This is Chris Patuzzo! His work does not get enough attention. He mentioned Sentient Lang in the article. It is really, really cool. Its a compile-to-JS declarative logic language that can do some fucking neat stuff. Think Prolog or Mercury, but with much more comprehensible syntax. https://sentient-lang.org/ https://sentient-lang.org/ I reached out to him a month or two ago after stumbling upon his work, and he took the time to respond and have a conversation with me. Incredibly brilliant and genuine guy, happy to see more of his stuff posted here. Edit: He has done more stuff besides Sentient. Check out his work in the general area of computational logic/automated theorem proving.