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