SWI_Prolog

Official account for SWI_Prolog, replacement for @ SWI_Prolog

[SWI_Prolog @SwiProlog_]

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

[SWI_Prolog @SwiProlog_]

@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).

[SWI_Prolog @SwiProlog_]

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

[SWI_Prolog @SwiProlog_]

@proof_construct Expert systems are basically this.

[gabby @GabriellaG439]

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

[SWI_Prolog @SwiProlog_]

@redrapids unification

[Robert Laing (Parody?) @RobertLaing6]

I moved the URL of my @SwiProlog_ notes a while back to https://t.co/6wHwmDwKnq and forgot to update the tweet above.

[SWI_Prolog @SwiProlog_]

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

[SWI_Prolog @SwiProlog_]

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

[SWI_Prolog @SwiProlog_]

@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.

[SWI_Prolog @SwiProlog_]

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

[guregu @guregu]

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

[SWI_Prolog @SwiProlog_]

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

[SWI_Prolog @SwiProlog_]

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

[SWI_Prolog @SwiProlog_]

@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.

[SWI_Prolog @SwiProlog_]

Great way to interact with @SwiProlog_ from Go!

[guregu @guregu]

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_ 😎
https://t.co/jmw0uXbHPu
#prolog #golang

[SWI_Prolog @SwiProlog_]

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

[Gilbert @soundly_typed]

CSS is a Prolog

[SWI_Prolog @SwiProlog_]

@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

[SWI_Prolog @SwiProlog_]

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

[Zaki @zmughal]

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.