youtube.com/watch?v=JU51Lu…

And a new application of #Prolog. Working with OpenDrive the next time 😊

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 official account

Has anyone tried to use machine learning to fill in rules for an expert system? ✨ Jean Yang ✨

please place SWI_Prolog , not this account, on your list. Twitter's algo decided this was a bot and took 6 months to fix it.

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

Just a reminder - this account has moved to SWI_Prolog

the occasional reminder we've moved to 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.

I have a puzzle for you all... with one catch: You have to specify it as an #ontology in Protégé Project, 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...]

youtube.com/watch?v=VQT29l…

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.

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.

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

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.

The Prolog Toplevel youtu.be/op17-dlcSRQ

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