SWI_Prolog

Considering Prolog for a project? We're happy to do a video meeting to help you with that. Drop us a line.

@evie_fp @GabriellaG439 DCGs expand to raw Prolog horn clauses pretty trivially. foo --> bar, baz. expands to foo(A, Z) :- bar(A, B), baz(B, Z).

@GabriellaG439 Mathematically, it's trivially simple: generate all the texts, and take only those for which the parsing succeeds. In practice, I wonder if there's clever tricks to do without cheating. Like you'd need to be able to inspect the parser somehow.

I feel like if you have a parser for a type you should be able to derive a generator (e.g. an Arbitrary instance) for the same type for free

@GabriellaG439 DCG's do this - the problem is that they might generate them in a less than useful order.

@proof_construct Expert systems are basically this.

Any HCI folks doing work on proof assistants?

On average, 97% of Haskell users are happy with their decision to use Haskell. Only ~3% experience some form of regret, and the most prevalent reasons cited for detransitioning are employment issues and peer pressure

@redrapids unification

#programmers, if you are advising new programmers, what language features and programming techniques are hard to learn but worth it?

@bobirakova It's usually back up in < 4 hours

@bobirakova Nope- it's a single academic server, the infrastructure is what it is. 8c/

@SwiProlog_ hi everyone! I'm getting "504 Gateway Time-out" in the last many hours at swish.swi-prolog.org 🙄 Is there something on my side or could you give us an estimate about when should the server be back on? thank you!!

@timFinin Check out the SWISH tutorials in the examples section. There are some very nifty things, like the way results are displayed is pluggable, and there are ways to interact with javascript, so you can do interesting things like forms.

TIL that SWI Prolog (@SwiProlog_) has a site where you can create sharable Prolog notebooks that others can view, execute, and edit. It should be very useful for teaching some aspects of AI and programming languages. 🙂 #Prolog #SWI #SWISH #AI swish.swi-prolog.org

@guregu @SWI_Prolog comment - check it against Unicode characters. Found a few issues with such when writing client libs for other languages.

@SWI_Prolog whoops, should have tagged @SwiProlog_ I'll post an announcement to the SWI forums when the API is more stable 👍

I've released an alpha version of @SWI_Prolog pengines (remote Prolog queries) integration for Go🤠 github.com/guregu/pengine I'll be playing around with it this weekend. Gladly accepting API feedback. It's still rough and missing a few features. #Golang ❤ #Prolog

@heades @Joe_DoesMath Yes, but you can change what snack it is.

@Joe_DoesMath So, is that statement because of something external, or just how you see your Celf? 🙄

@m_misamore Honestly, I think we're seeing a lot of new pieces built around classic Horn clause resolvers. The future feels like it belongs to the on-beyond ASP's and such.

Great way to interact with @SwiProlog_ from Go!

@soundly_typed Not disagreeing, but interested in what sense it's a Horn clause resolver.

CSS is a Prolog

@S_2K @Argorak @SWI_Prolog Sorry, the site is only "reasonably" reliable. Mostly because it's hosted on questionable academic servers, and our CDN is occasionally baffled

@S_2K @Argorak @SWI_Prolog @SwiProlog_ is where we live now. Twitter kindly terminated the old account, then decided "oops" 6 months later

New stable release! This uses Alien::SWIProlog to find / setup a working @SwiProlog_. It should work on Linux/Windows/macOS and Perls w/ and w/o threads.