SWI-Prolog official account

Official account of the SWI-Prolog project

[SWI-Prolog official account @SWI_Prolog]

This account was falsely detected as a bot by twitter's lovely 'algorithm' and turned off mid summer. It's just ow (Dec 7) been turned back on.
The new account, which I think I'll keep using is @SwiProlog_

[SWI-Prolog official account @SWI_Prolog]

@BartoszMilewski hmm... there's a scifi novel with that premise - surface of a neutron star. Sorry, title and author long gone.

[SWI-Prolog official account @SWI_Prolog]

@Love2Code How would I know which programs terminate?

[Markus Triska @MarkusTriska]

The Prolog Toplevel https://t.co/xdmNC6JeeA

[Hakan Kjellerstrand @hakankj]

The comparison page "Common Constraint Programming problems" ( https://t.co/axQlBtRY1c) has now been updated with the newer models (e.g #Picat and #CPMpy). Also added a separated entry for OR-tools CP-SAT/Python and Clingo version 4.

[Valentina Presutti @vpresutti]

'When you hear that AI failed in the past, it is not true. Lots of systems developed and still in operation' @lucsteels @isws_semweb #keynote #isws2022

[SWI-Prolog official account @SWI_Prolog]

@PaulBrownMagic apparently we're partial to tennis shoes and mostly appear in 70's style line art.

[SWI-Prolog official account @SWI_Prolog]

@satnam6502 @roydanroy @SwiProlog_ can be a great first language! We've been taught to any number of 'non-programmers' with good results (honestly, it's easier if they don't know an imperative language first).

[Satnam Singh @satnam6502]

My daughter has told me excitedly about a SAT solver she has just written in Python. Parenthood has prepared me for mixed emotions, but this has truly left me conflicted.

[Canadian Mathematical Society @canmathsociety]

In Memoriam: Yulia Zdanovskaya, a 21-year old mathematician, was killed on March 8th, 2022 during a Russian forces attack on Kharkiv, Ukraine. In 2017, Yulia represented Ukraine at the European Girls' Mathematical Olympiad and won a silver medal at the competition.

[SWI-Prolog official account @SWI_Prolog]

@glittershark1 @chrisfujino @andy_kelley @sw17ch All programs in me are knowledgebase entries.

[SWI-Prolog official account @SWI_Prolog]

https://t.co/tMUIsYR8L5

[Christopher D. Long 🇺🇦🏳️‍🌈🌹 @octonion]

Classic probabilistic duel. Two people, A and B, enter into a duel. A starts, hitting with probability p_A, followed by B, who hits with probability p_B. Either may also deliberately miss by firing into the air.

1/2

[perlcpan @perlcpan]

Language-Prolog-Yaswi-0.22 by ZMUGHAL
https://t.co/4qIscZPt5q

[モヒカンではない @m0h1can]

@TakaoOzaki 論理型プログラミング山脈におけるProlog峠を夢想しておりました

[Chris Mungall @chrismungall]

I have a puzzle for you all... with one catch: You have to specify it as an #ontology in @protegeproject, and solve it using an #OWLReasoner! Here's the deal: I have nabbed a bunch of dragon gold from Smaug, but I've forgotten which chest I left it in. Can you help? [read on...]

[SWI-Prolog official account @SWI_Prolog]

@vsovietov et all - just a remnder, we're at @SwiProlog_ now

[SWI-Prolog official account @SWI_Prolog]

Just a reminder, this is coming up this weekend! Have attracted a couple writers to the team, so should be an interesting IF team.

[SWI_Prolog @SwiProlog_]

Ludum Dare on April 18th. Going to get a good early start and have a good team this time for TEAM SWI-Prolog.
Ludum Dare is the world's largest game jam. Every 6 months over 3000 teams and individuals compete to build a game in a weekend. https://t.co/iMBROhamIC

[SWI-Prolog official account @SWI_Prolog]

the occasional reminder we've moved to @SwiProlog_

[SWI-Prolog official account @SWI_Prolog]

Just a reminder - this account has moved to @SwiProlog_

[SWI-Prolog official account @SWI_Prolog]

Seeing new followers - reminder, we're on @SwiProlog_ now.

[SWI-Prolog official account @SWI_Prolog]

@samwalrus @kareem_carr Please use the @SwiProlog_ account - Twitter abruptly decided this account was a bot in august, then turned it back on a few weeks ago. We've moved to a new account.