SWI-Prolog official account @SWI_Prolog
Official account of the SWI-Prolog project swi-prolog.org Amsterdam, The Netherlands Joined March 2018-
Tweets2K
-
Followers821
-
Following139
-
Likes943
SWI-Prolog official account retweeted
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.
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/ZMUGHA…
SWI-Prolog official account retweeted
@TakaoOzaki 論理型プログラミング山脈におけるProlog峠を夢想しておりました
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...]
Just a reminder, this is coming up this weekend! Have attracted a couple writers to the team, so should be an interesting IF team.
Just a reminder, this is coming up this weekend! Have attracted a couple writers to the team, so should be an interesting IF team.
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.
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 😊
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Hakan Kjellerstrand @hakankj
985 Followers 645 Following a.k.a. hakank. Swedish Software Developer (retired) / Independent Researcher. Interested in many things, e.g. Constraint Prog., OR, AI, ML, Picat, Prob. prog.
Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @ScottWlaschin on fosstodon and bsky
Gary Marcus @GaryMarcus
191K Followers 7K Following “In the aftermath of GPT-5’s launch … the views of critics like Marcus seem increasingly moderate.” —@newyorker
耕平 @XdUOjbWX512001
6 Followers 272 Following
Code Master 👨�... @Mister_Negativo
329 Followers 1K Following Programar es tan fácil como encontrar el santo grial https://t.co/axAkeVdeSX https://t.co/euate1KiNS 😃
mindprime.ai @MindPrimeAI
184 Followers 183 Following @MindPrimeAI The visionary behind Benedict's Law, advocating for a new era of accountability in treasonous acts. Awakening inner vision. https://t.co/1to4gFug29
Kjell Antonsen @Kjellantons
0 Followers 13 Following
Uguouisie @Uguouisie81047
21 Followers 1K Following
kim soo il @odeus2456
27 Followers 578 Following
Paul Tarau @paul_tarau
10 Followers 28 Following I am a professor of computer science and an avid open source developer, interested in NLP, LLMs, Generative AI and design of new logic-based programming tools.
Aris @superaris27
4 Followers 15 Following
Leo Faggio @leofaggio
31 Followers 62 Following Nature does not produce anything that is perfect in itself; man must bring things to their perfection – this work is called ‘alchemy’ (Paracelsus)
Koji HIYAMA @koji_hiyama
2K Followers 6K Following 夜行性。カメラを止めるな！バーフバリ！バーフバリ！Perfume & BABYMETAL & LivMoon & Lyrical School & Aimer & BiSH & Violet Evergarden
Antonio Pisani @apisanidev
3 Followers 72 Following I am returning to my roots as a Software Developer, now specializing in Artificial Intelligence.
AIEngineerAthens Euro... @AiEngineerEuro
0 Followers 14 Following
YounesIO @YounesAka
89 Followers 433 Following SWE. Rust. Python. TLA+. Prolog. Julia. Typescript. AI/ML.
brayinstivv @brayinstiv
447 Followers 1K Following
Lokesh @LokeshJambu
27 Followers 607 Following
Maia @kikukawahi16163
50 Followers 6K Following
Mark Andrews @MarkMsStore
0 Followers 6 Following
Vojtech Kulhavy 🇺�... @VojtechKulhavy
495 Followers 2K Following
wouter Batelaan @wbjrpub
2 Followers 20 Following
Richard Dijkstra @richdijkstra
686 Followers 985 Following Linked Data consultant. #RDF #SPARQL #Python #ArchiMate #EA #cybernetics #MDM #Metadata #opensource #Opendata
STEMininomenon™ @scaramantide
31 Followers 174 Following Interested in bugs 🪲 but literally, not that coding stuff 🌿 side acc for AI/ML hating purposes and casting spells 🔮🪄
Mercury/Saturn⚛️ @bgrkdrhn97
10 Followers 34 Following to hell with fake and shrewd people and their powdered sugar, be honest ffs
福森健司 Kenji Fu... @Kenji_Fukumori
93 Followers 3K Following Earthly Harmonic Constitutional Places One / Non-CommutativeEquilibrium (∀) 狐森窯 Komorigama Pottery(https://t.co/Icix4R2x0M?) May Earth Be With You, 健司 Kenji
Roberto Shimizu @robertoshimizu
36 Followers 390 Following
TeXnoLogos @ATannounce
13 Followers 76 Following An announcement platform for Adam Trybus, PhD: https://t.co/13EO9XnhL3
lambda-m @lambdam_nl
22 Followers 183 Following
孙笑川 @analyticlogic
5 Followers 174 Following
happy everyday @pandaxcl
92 Followers 655 Following
Kamilus Tecna. @Tecna2015
247 Followers 2K Following
Sang Dao @SangDao811932
104 Followers 1K Following
abdessamad lois @abdessamadlois2
18 Followers 437 Following
Jose Alberto Vazquez ... @alberto_va39187
0 Followers 80 Following
liutos @liutos144527
0 Followers 12 Following
杨双成 @yscljh
55 Followers 529 Following
Zoe Falomir @zfalomir
351 Followers 767 Following 💻Associate Professor @WASP_Research 📍Umeå University, Sweden
λy @rpbmpn
80 Followers 712 Following
齐颜祈雨 @yuekuangqi
9 Followers 167 Following
आधुनिक �... @IndiaC4cl
16 Followers 164 Following I seek and speak absolute truth, however harsh, as a duty in pursuit of मोक्ष. Retired commodity analyst with 25 years of experience, now a PhD aspirant.
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Hakan Kjellerstrand @hakankj
985 Followers 645 Following a.k.a. hakank. Swedish Software Developer (retired) / Independent Researcher. Interested in many things, e.g. Constraint Prog., OR, AI, ML, Picat, Prob. prog.
logtalk.org @LogtalkDotOrg
585 Followers 322 Following Logtalk development updates and relevant logic programming news.
Gary Marcus @GaryMarcus
191K Followers 7K Following “In the aftermath of GPT-5’s launch … the views of critics like Marcus seem increasingly moderate.” —@newyorker
'(Robert Smith) @stylewarning
5K Followers 275 Following Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).
Dan Brickley @danbri
12K Followers 13K Following Data standards technologist. Prev: Google, https://t.co/ej6DTF9hps, W3C, telly stuff, UN FAO, dig libraries, RDF/S, Linked Data, decentralized social & search tech.
John Carmack @ID_AA_Carmack
1.1M Followers 273 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
John Pettus @JohnGPettus
2K Followers 5K Following SF native. Army vet with 2 tours. Building @fiskkit to elevate our discourse.
mark_l_watson @mark_l_watson
3K Followers 761 Following AI Generalist. Author 20 books on AI, LLMs, DL, semantic web, Lisp. 55 patents. My recent books are free to read or buy online https://t.co/aw3vKvefPe
Steve Worswick - Kuki... @KukiChatbotDev
4K Followers 670 Following AIML developer and world record Loebner Prize winner 2013/2016/2017/2018/2019. Tweets are by Kuki's developer, Steve Worswick rather than the bot itself.
math prof @mathematicsprof
73K Followers 333 Following Ex math prof, ex Lt. Comdr PHS, ex ultra-marathon runner, ex servant to cats; present: keeping liver, kidneys, pancreas, heart, lungs in semi-workable form.
Steven Strogatz @stevenstrogatz
164K Followers 3K Following Mathematician, writer, Cornell professor. All cards on the table, face up, all the time.
Verónica Dahl @VerunicaDahl
663 Followers 263 Following Co-founder of the Logic Programming field. Working on grammatical inference & on Doughnut Economics Drawing by @SebastianNavasF (gracias, Sebastián!)
Maël @arcanis
5K Followers 592 Following Lead maintainer for @yarnpkg 🧶, staff FE DevX @datadoghq, ex @facebook, ex @sketchfab. Find me on 🦋: https://t.co/UJOKfQdJWa!
Mathieu K. ⏻ @niamtokik
488 Followers 399 Following Erlang/Elixir Senior Developer, DevOps/SRE, System Architect, Technical Archivist, Digital Archeologist & Distributed Gardener 🌿 Barista at @ErlangPunch 🍸
Gustav Melck @gustavmelck
81 Followers 186 Following Electronic & industrial engineer. Operations research, systematisation, mathematical modelling & analysis. Scheme, Forth, Excel, and, of course, pen-and-paper.
DBOpenData @dbopendata
3K Followers 267 Following Hier twittert das Open Data-Team der DB AG! Und auf @dbhackathon twittern wir zu Hackathons.
DB Hackathon @DBHackathon
3K Followers 1K Following Official Twitter Account of the Deutsche Bahn Hackathon Events. Twits by: Alexey Valikov (@orless) - /av Günter Schwaninger (@pihalbe) - /gs and @sebaso - /se
DB mindbox @dbmindbox
3K Followers 879 Following DB mindbox - Startup hub of Deutsch Bahn Group | Hot news about programs, challenges & open data
Alicia Villanueva @eyamob
137 Followers 582 Following Associate professor (UPV). But also family, home, viola, vabas
Peter Turchin @Peter_Turchin
40K Followers 147 Following Cliodynamics, Social and Cultural Evolution Project Leader, Complexity Science Hub, Vienna Blog: https://t.co/evOf8vxvUJ
Seshat @SeshatDatabank
5K Followers 111 Following Seshat: Global History Databank compiles information on the social and political organization of human societies, and how civilizations have evolved over time.
Robert Z. Orlowski @Myeloma_Doc
16K Followers 5K Following Deputy Chair of Lymphoma/Myeloma, Vice Chair MM Research @ MD Anderson; Translational researcher who hates myeloma. Tweets are my own. Retweets ≠ endorsements.
Dorothea Baur (Dr.) @DorotheaBaur
9K Followers 5K Following Ethics in tech & finance: AI ethics, sustainability, ESG. Expert, consultant, speaker, lecturer, author. To the point. @dorotheabaur.bsky.social
karen kaushansky @kjkausha
2K Followers 1K Following Experience Designer/Product Designer/Mum: conversational design, mixed reality, autonomous vehicles, human-robot interactions.
privaGRAPH @privaGRAPH
206 Followers 319 Following Former '(personal data protection and information architect). I'm a #graph lover, casual #J(#APL)/#PicoLisp/#Rstats dev, a #Moulton/#Brompton user and #hamradio
Tom Schrijvers @schrijvers_tom
460 Followers 121 Following Prof. in Programming Languages at KU Leuven, author of "Soar with Haskell"
Christopher D. Long �... @octonion
22K Followers 7K Following Data science and optimization. Ex-San Diego Padres, Detroit Tigers, Yankees, Arsenal, Houston Rockets. Google Foobar winner. He/him. [email protected]
Franco Lombardo 🇺�... @f_lombardo
710 Followers 752 Following 🇮🇹 Programmer,system administrator, I like agile programming, TDD, PHP, Java, Prolog and....AS400. Try LLMs with https://t.co/bXEqkAcurR
Meng Weng Wong @mengwong
6K Followers 855 Following Computational law @Legalese @cclaw_smu, @CodeXStanford '18 @BKCHarvard '17. @jfdiasia SPF RFC4408 Pobox. Haskell Prolog Perl JS/TS 👩❤️👨 @wabisabiyo
Christopher Manning @chrmanning
151K Followers 228 Following Director, @StanfordAILab. Assoc. Director, @StanfordHAI. Founder, @stanfordnlp. Prof. CS & Linguistics, @Stanford. IP @aixventureshq. 🇦🇺 Do #NLProc & #AI. 👋
Russ Salakhutdinov @rsalakhu
109K Followers 166 Following UPMC Professor of Computer Science @ CMU, President Elect ICML Board, VP of Research @ Meta (Multimodal LLMs, AI Agents), ex-Director of AI research at @Apple
Pasquale Minervini @PMinervini
9K Followers 5K Following Research in ML/NLP at the U of Edinburgh (tenured faculty @InfAtEd @EdinburghNLP), Co-Founder @Miniml_AI, @ELLISforEurope Scholar, https://t.co/5dUI3EFexo
Giorgio Robino @solyarisoftware
3K Followers 4K Following Conversational LLM-based Applications Specialist @almawave | Former ITD-CNR Researcher | Soundscapes (Orchestral) Composer.
Leon Weber-Genzel @weberple
241 Followers 821 Following @lewege.bsky.social PostDoc in NLP at MaiNLP, CIS, LMU Munich
Robert Laing (Parody?... @RobertLaing6
366 Followers 1K Following Editor in chief and cub reporter at https://t.co/qN3rieT3eT and https://t.co/gcyN5E5Ysf
Jesper L. Andersen @jlouis666
4K Followers 507 Following CS hacker, researcher, and investigator. Erlang, Ocaml, Haskell, Go. Loves concurrency, distribution, type theory, semantics, model checking, formal methods.
Roberto Castañeda Lo... @robcasloz
480 Followers 495 Following OpenJDK compiler engineer @ Oracle. Interested in programming languages, combinatorial optimization, testing and verification. Views my own.
QAD @QAD_Community
3K Followers 2K Following Next-Generation Manufacturing & Supply Chain Solutions in the Cloud
John Krukoff @JohnKrukoff
64 Followers 138 Following I care about people, processes and reliable software.
Hackalod @HackaLOD
317 Followers 347 Following HackaLOD | 2022| Culturele Linked Open Data hackathon | Netwerk Digitaal Erfgoed | #hackalod
UNIMAS @UNIMASofficial
9K Followers 283 Following The official Twitter page of the Universiti Malaysia Sarawak (UNIMAS). More info at:website: https://t.co/W1xbl3M6An - comprehensive university
CodeMeshIO @CodeMeshIO
2K Followers 1K Following Code Mesh: leading alternative programming conference. #CodeMeshV across US and UK time zones for global attendanceTrends for United States
84,1 B posts
77,1 B posts
201 B posts
57,7 B posts
253 B posts
68,5 B posts
199 B posts
24,5 B posts
4.191 posts
41,9 B posts
55,8 B posts
5.778 posts
14,4 B posts
5.397 posts
5.591 posts
6.465 posts
3.080 posts
3.376 posts
You might like
logtalk.org
@LogtalkDotOrg
585 Followers
Well-Typed
@welltyped
6K Followers
Tweag
@tweagio
6K Followers
João Forte Carvalho ...
@bgamari
2K Followers
ICFP Conference
@icfp_conference
4K Followers
Serokell
@serokell
7K Followers
Graham Hutton
@haskellhutt
8K Followers
GraalVM
@graalvm
25K Followers
Mohamed Kamal
@xmohamedkamal
45K Followers
Groxio
@GroxioLearning
2K Followers
POPL 2026
@poplconf
3K Followers
Michael Lynch
@deliberatecoder
9K Followers
Veronika Romashkina
@vrom911
3K Followers
Derrick Reimer
@derrickreimer
11K Followers