Official account of the SWI-Prolog project
Amsterdam, The Netherlands
Joined March 2018
- Tweets1.5K
- Following137
- Followers795
- Likes935
SWI-Prolog official account retweeted
The comparison page "Common Constraint Programming problems" ( hakank.org/common_cp_models/) 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.
SWI-Prolog official account retweeted
'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 retweeted
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.
SWI-Prolog official account retweeted
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 retweeted
Language-Prolog-Yaswi-0.22 by ZMUGHAL
metacpan.org/release/ZMUGHAL…
SWI-Prolog official account retweeted
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...]
ALT Exactly one of these chests contains cold, but only one of the four statements is true. Which chest must contain the gold? Chest A says: The gold is in here. Chest B says: The gold is in chest A or D. Chest C says: the gold is NOT in here. Chest D says the gold is in here
SWI-Prolog official account retweeted
Has anyone tried to use machine learning to fill in rules for an expert system? @jeanqasaur
SWI-Prolog official account retweeted
I have now one day per week for #Prolog coding in my job. This is a lot in my case 😎
SWI-Prolog official account retweeted
I really enjoyed presenting my colleagues what I‘ve learned the last two months. @SWI_Prolog
SWI-Prolog official account retweeted
And a new application of #Prolog. Working with OpenDrive the next time 😊
SWI-Prolog official account retweeted
"Recent work by Minervini et al (Minervini et al., 2019) gives me hope that a neuro-symbolic hybrid approach could break new ground. [..] The very fact that people are trying gives me more hope; reasoning and knowledge need to be first-class citizens if we are to move forward" ❤️
The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence
"absolutely brilliant"
—Nobel Laureate Danny Kahneman
@GaryMarcus : arxiv.org/abs/2002.06177
#AIDebate #ArtificialIntelligence #CognitiveModels #Reasoning #RobustAI
SWI-Prolog official account retweeted
Web Scraping with Prolog youtu.be/zKrw-pRI9ac
SWI-Prolog official account retweeted
Found a F# #Pengine Client to connect @unity3d with @SWI_Prolog github.com/ninjarobot/Pengin… Great! So connecting Unity and Prolog should be easy. THx to @openfsharp 😀
SWI-Prolog official account retweeted
@codewars now supports 7 new niche languages and communities including @ColdFusion, @racketlang, #Coq, #VisualBasic, #Forth, factorcode.org, and @SWI_Prolog. Train your skills in these languages at codewars.com! #ColdFusion #code #softwaredevelopment
SWI-Prolog official account retweeted
One hour: Feature request.
Next hour: Feature complete.
This Post is from a suspended account. Learn more
SWI-Prolog official account retweeted
A programming language with an embedded Datalog! Programmers are starting to catch on 😎
Flix. Functional programming language with Datalog as first-citizen. eventually a #Scala for logic programming flix.dev/#/innovations/
SWI-Prolog official account retweeted
Here a new video explaining the basic idea of my game #ecCausaSnipper. A lot of work is still to do :)
Its also my first video of this kind, so sorry for the quality ;)
Rules are in @SWI_Prolog on server via Pengines, UI via #PixiJS & @tau_prolog youtu.be/-6CS19YEYQw
SWI-Prolog official account retweeted
We won the Best Resource Paper Award at #ESWC2020 with MetaLink! Thanks to my co-authors @joeraad_ @erman_ai @FrankVanHarmele Thanks to the organizers as well. You can watch the presentation on Youtube: youtube.com/watch?v=Ok4dSONy…