SWI-Prolog official account @SWI_Prolog

Official account of the SWI-Prolog project swi-prolog.org Amsterdam, The Netherlands Joined March 2018

Tweets

2K
Followers

805
Following

137
Likes

936

SWI-Prolog official account @SWI_Prolog

4 years ago

@BartoszMilewski hmm... there's a scifi novel with that premise - surface of a neutron star. Sorry, title and author long gone.

2 0 2 0 1

View Details

SWI-Prolog official account @SWI_Prolog

4 years ago

@Love2Code How would I know which programs terminate?

0 0 1 0 1

View Details

Markus Triska @MarkusTriska

4 years ago

The Prolog Toplevel youtu.be/op17-dlcSRQ

1 9 27 0 6

View Details

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.

0 4 16 0 1

View Details

Valentina Presutti @vpresutti

4 years ago

'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

0 1 10 0 1

View Details

SWI-Prolog official account @SWI_Prolog

4 years ago

@PaulBrownMagic apparently we're partial to tennis shoes and mostly appear in 70's style line art.

0 0 1 0 0

View Details

SWI-Prolog official account @SWI_Prolog

4 years ago

@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 0 1

View Details

Satnam Singh @satnam6502

4 years ago

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.

22 26 1K 0 36

View Details

Canadian Mathematical Society @canmathsociety

4 years ago

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.

606 11K 37K 0 432

View Details

SWI-Prolog official account @SWI_Prolog

4 years ago

@glittershark1 @chrisfujino @andy_kelley @sw17ch All programs in me are knowledgebase entries.

0 0 3 0 0

View Details

SWI-Prolog official account @SWI_Prolog

5 years ago

youtube.com/watch?v=VQT29l…

Christopher D. Long 🇺🇦🏳️‍🌈🌹 @octonion

5 years ago

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

2 1 10 0 2

0 0 4 0 1

View Details

perlcpan @perlcpan

5 years ago

Language-Prolog-Yaswi-0.22 by ZMUGHAL metacpan.org/release/ZMUGHA…

0 1 1 0 0

View Details

モヒカンではない @m0h1can

11 years ago

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

0 1 2 0 0

View Details

Chris Mungall @chrismungall

5 years ago

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

2 11 27 0 5

View Details

SWI-Prolog official account @SWI_Prolog

5 years ago

@vsovietov et all - just a remnder, we're at @SwiProlog_ now

1 0 0 0 0

View Details

SWI-Prolog official account @SWI_Prolog

5 years ago

Just a reminder, this is coming up this weekend! Have attracted a couple writers to the team, so should be an interesting IF team.

SWI_Prolog @SwiProlog_

5 years ago

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

2 2 8 0 2

0 0 2 0 0

View Details

SWI-Prolog official account @SWI_Prolog

6 years ago

the occasional reminder we've moved to @SwiProlog_

0 0 0 0 0

View Details

SWI-Prolog official account @SWI_Prolog

6 years ago

Just a reminder - this account has moved to @SwiProlog_

0 0 0 0 0

View Details

SWI-Prolog official account @SWI_Prolog

6 years ago

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

0 0 0 0 0

View Details

SWI-Prolog official account @SWI_Prolog

6 years ago

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