SWI-Prolog official account
@SWI_Prolog
Official account of the SWI-Prolog project
You might like
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_
The Prolog Toplevel youtu.be/op17-dlcSRQ
youtube.com
YouTube
The Prolog Toplevel
The comparison page "Common Constraint Programming problems" ( hakank.org/common_cp_mode…) 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.
'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
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.
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.
youtube.com
YouTube
Playing With Prolog Goes To The Movies (truel)
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
Language-Prolog-Yaswi-0.22 by ZMUGHAL metacpan.org/release/ZMUGHA…
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...]
![chrismungall's tweet image. 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...]](https://pbs.twimg.com/media/E-UuY5fUcDs9oCy.png)
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. ldjam.com
the occasional reminder we've moved to @SwiProlog_
Just a reminder - this account has moved to @SwiProlog_
Seeing new followers - reminder, we're on @SwiProlog_ now.
please place @SwiProlog_ , not this account, on your list. Twitter's algo decided this was a bot and took 6 months to fix it.
Has anyone tried to use machine learning to fill in rules for an expert system? @jeanqasaur
I have now one day per week for #Prolog coding in my job. This is a lot in my case 😎
I really enjoyed presenting my colleagues what I‘ve learned the last two months. @SWI_Prolog
And a new application of #Prolog. Working with OpenDrive the next time 😊
United States Trends
- 1. Wemby 31.4K posts
- 2. Steph 67.2K posts
- 3. Spurs 30.6K posts
- 4. Draymond 12.8K posts
- 5. Clemson 11.1K posts
- 6. Louisville 10.9K posts
- 7. #SmackDown 50.4K posts
- 8. Zack Ryder 15.6K posts
- 9. Aaron Fox 2,167 posts
- 10. #DubNation 1,988 posts
- 11. Harden 13.8K posts
- 12. Brohm 1,646 posts
- 13. Dabo 1,982 posts
- 14. Massie 54.1K posts
- 15. Marjorie Taylor Greene 44.6K posts
- 16. Landry Shamet 5,822 posts
- 17. UCLA 8,505 posts
- 18. Mitch Johnson N/A
- 19. Matt Cardona 2,839 posts
- 20. Miller Moss N/A
You might like
-
logtalk.org
@LogtalkDotOrg -
Well-Typed
@welltyped -
Tweag by Modus Create
@tweagio -
João Forte Carvalho @Conste11ation
@bgamari -
José A. Riaza
@jariazavalverde -
ICFP Conference
@icfp_conference -
Serokell
@serokell -
Graham Hutton
@haskellhutt -
GraalVM
@graalvm -
Groxio
@GroxioLearning -
CiaoProlog
@CiaoProlog -
POPL 2026
@poplconf -
Michael Lynch
@deliberatecoder -
Veronika Romashkina
@vrom911 -
Derrick Reimer
@derrickreimer
Something went wrong.
Something went wrong.