SWI-Prolog official account
@SWI_Prolog
Followers
828
Following
975
Statuses
2K
Official account of the SWI-Prolog project
Amsterdam, The Netherlands
Joined March 2018
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_
0
2
4
@BartoszMilewski hmm... there's a scifi novel with that premise - surface of a neutron star. Sorry, title and author long gone.
2
0
2
RT @hakankj: The comparison page "Common Constraint Programming problems" ( has now been updated with the newer mo…
0
4
0
RT @vpresutti: 'When you hear that AI failed in the past, it is not true. Lots of systems developed and still in operation' @lucsteels @isw…
0
1
0
@PaulBrownMagic apparently we're partial to tennis shoes and mostly appear in 70's style line art.
0
0
1
@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).
0
0
3
RT @satnam6502: My daughter has told me excitedly about a SAT solver she has just written in Python. Parenthood has prepared me for mixed e…
0
28
0
RT @canmathsociety: In Memoriam: Yulia Zdanovskaya, a 21-year old mathematician, was killed on March 8th, 2022 during a Russian forces atta…
0
12K
0
0
0
3
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
0
0
4
RT @chrismungall: I have a puzzle for you all... with one catch: You have to specify it as an #ontology in @protegeproject, and solve it us…
0
11
0
Just a reminder, this is coming up this weekend! Have attracted a couple writers to the team, so should be an interesting IF team.
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.
0
0
2
@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.
0
0
0