Tau Prolog @tau_prolog
An open source Prolog interpreter in JavaScript. tau-prolog.org Spain Joined August 2017-
Tweets181
-
Followers423
-
Following23
-
Likes527
Tau Prolog: A Prolog Interpreter for the Web | Theory and Practice of Logic Programming | Cambridge Core - bit.ly/48mx0tO
I've just released v1.0.0 of github.com/ichiban/prolog - an embeddable ISO Prolog interpreter for Go. #go #golang #prolog
Got Trealla Prolog running in the browser! github.com/guregu/trealla…
I just finished the demo on @tau_prolog that I'll present next Monday at the XXI Conference on Programming and Languages (PROLE 2022) in Santiago de Compostela (Spain). DOM manipulation, event handling, FFI with JS and concurrent programming. Demo: tau-prolog.org/files/prole202…
Tau Prolog has just been updated in @npmjs to the version 0.3.4. We've added the concurrent module, to perform concurrent (asynchronous) tasks with futures: tau-prolog.org/documentation#…
Tau Prolog has just been updated in @npmjs to the version 0.3.3. We've added clause indexing on first argument and the soft-cut (*->)/2 control construct. Also, we've fixed some built-in predicates and improved the performance of system. Release notes: github.com/tau-prolog/tau…
Formatting Output with Prolog youtu.be/SwoZabsIzRg
Awesome Prolog-centered Creators everywhere: please APPLY! The call for self-postulations for the Colmerauer Prize, within Prolog Year's celebrations (prologyear.logicprogramming.org), is right out of the oven: prologyear.logicprogramming.org/ColmerauerPriz… KINDLY RETWEET FOR MAXIMUM DISSEMINATION. Thanks!
I am looking for examples for a @tau_prolog demo on DOM manipulation and event handling. Mostly simple and fancy code snippets, like the following drag and drop effect. tau-prolog.org/examples/dragg… Ideas are welcome. 🙂
A Tour of Prolog youtu.be/8XUutFBbUrg This year, we celebrate 50 years of Prolog! Thank you a lot Alain Colmerauer, Robert Kowalski (@RobertAKowalsk4), and Philippe Roussel for Prolog!
Now presenting... Prologue to Prolog! A fantastic introduction to Prolog from the perspective of real world software engineering. Find out how Prolog can be useful in your project today! Edited down from 60m to 36m 🤩 Watch, learn, and expand your mind. share.descript.com/view/snZvbV85L…
Adding a new Logtalk "grammars" library providing DCGs for common parsing tasks. Portable, of course, and capable of parsing both chars and codes. github.com/LogtalkDotOrg/… So far, it includes DCGs for blanks and numbers. What else you would like the library to support?
Running the Logtalk standards compliance tests (latest git version) with Tau Prolog 0.3.2. First outcome: github.com/tau-prolog/tau… I hope to contribute some more fixes soon. Want to help? See github.com/tau-prolog/tau…
Running the Logtalk standards compliance tests (latest git version) with Tau Prolog 0.3.2. First outcome: github.com/tau-prolog/tau… I hope to contribute some more fixes soon. Want to help? See github.com/tau-prolog/tau…
The JavaScript package now exports the new/3 predicate to create instances of JavaScript objects (I overlooked it for a long time). Just for fun, a Prolog workaround for old @tau_prolog versions which works for most non-built-in JavaScript objects: tau-prolog.org/sandbox/C8cHryt
The JavaScript package now exports the new/3 predicate to create instances of JavaScript objects (I overlooked it for a long time). Just for fun, a Prolog workaround for old @tau_prolog versions which works for most non-built-in JavaScript objects: tau-prolog.org/sandbox/C8cHryt https://t.co/hTjAOmfacr
#update Tau Prolog has just been updated in @npmjs to the version 0.3.2. Release notes: github.com/tau-prolog/tau…
Webeye can now run in the browser and on node with so thanks to @jariazavalverde for his Tau Prolog github.com/IDLabResearch/…
@jariazavalverde BTW, we were the first Prolog compiling to JavaScript more than 10 years ago ;) cliplab.org/papers/clp-to-… (OK... it was a research prototype and we had no energy to port all the necessary builtins)

Hakan Kjellerstrand @hakankj
986 Followers 644 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
583 Followers 320 Following Logtalk development updates and relevant logic programming news.
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.
Peter Ludemann @PeterLudemann
215 Followers 661 Following Retired Google/Yahoo/start-ups/IBM/BNR; sometime bicyclist, sailor, non-gardener; bemused by PL design and logic programming. @[email protected]
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Markus Triska @MarkusTriska
394 Followers 89 Following Zugleich aber erscheint ein schwacher Lichtschimmer von der anderen Seite.
Petar Kabashki @p_kambal
8 Followers 93 Following
Leo Faggio @leofaggio
29 Followers 63 Following Nature does not produce anything that is perfect in itself; man must bring things to their perfection – this work is called ‘alchemy’ (Paracelsus)
dr_ai_agent @Dr_Ai_Agent
19 Followers 178 Following
Alyssa101 @_Alyssa101_
203 Followers 501 Following Elegance is not a dispensable luxury but a quality that decides between success and failure.
Jorge Izquierdo @Ateneo
917 Followers 1K Following Autor de #InteligenciaArtificial_etcetera (@garajeediciones) Finalista III Premio Internacional a la Innovación Cultural del CCCB. #Wikipedia |@AQHueleInternet
dwardu @dwardu
79 Followers 360 Following
Vincent Englebert @englebertv
1K Followers 1K Following https://t.co/ZzQ6oDuMbd @[email protected] https://t.co/O7Eki8lxUF 🇺🇦🌈🇧🇪🇪🇺👨💻👨🏫🚲🚴♂️📷 dans le désordre;
Yilin Xia @yilin_xia
171 Followers 569 Following A Graph Farmer 🧑🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
福森健司 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
David Mays @Dmays14
12 Followers 20 Following
Salvatore Di Dio @SalvatoreDiDio
2 Followers 79 Following Programming - Sciences - Technology - Social - Digital Art
O6lvl4 @o6lvl4
25 Followers 147 Following Building Aid-On | ex-AWS Product-focused full-stack engineer, working hands-on with the LLM stack. “Don’t build AI, build a partner.”
孙笑川 @analyticlogic
4 Followers 170 Following
Adam Balski @Adam74911945
1 Followers 41 Following
Jose Alberto Vazquez ... @alberto_va39187
0 Followers 84 Following
Datawizz @datawizz0112358
98 Followers 1K Following
Benjamin Johnston @xmultiplier
27 Followers 42 Following
stranded @strandedio
202 Followers 395 Following I whānau mai i Aotearoa. engari ehara au i te tangata whenua, he Mā'ohi, He Pitikeina, He Pākehā au. Nō Tahiti ōku tūpuna. Kōrero Māori mai.
Ote Leo @ote_leo
4 Followers 154 Following
{:ok, Noah} @Nezteb
578 Followers 2K Following Senior backend engineer. Game development, Elixir/Erlang, OSS, IndieWeb, local-first development, self-hosting. Alaskan/Norwegian. Neutral good. DFTBA.
Merlin Taylor @Merlin_Taylor
25 Followers 106 Following
Cλris @7h3_360l355_d3v
338 Followers 1K Following cto ai-augmented • nostalgeek • monadist • egoless open source buidler CTO @axonexyz
आधुनिक �... @IndiaC4cl
24 Followers 174 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.
michael_e_bain @MichaelEBain
8 Followers 264 Following
Michael Schröder @ms_itcon
7 Followers 121 Following Software-Developer #JavaScript #ReactJS #remix_run #CSharp #DotNet
abstractnull | BIOB @865bLl
252 Followers 2K Following Oldskool Lisper & GOFAI/Symbolic AI believer. Formal methods. SDG SIA and other pointless stuff. A bit -just a bit- of early Husserl. Music theory on topoi.
GLOTEON @serj_aleks
12 Followers 177 Following
Claus Jürgensen @Juergensen
47 Followers 383 Following
João Aragão @jls_aragao
3 Followers 34 Following
Peter MOUEZA🇲🇫 @moueza
168 Followers 1K Following IT Kizomba dance ( danse ) fan Tennis #b3d Egalitariste, Anti-féministe Google : moueza Z-Anatomy https://t.co/vVWMWdE9Vf
Erlang-Punch @ErlangPunch
37 Followers 136 Following Erlang-Punch was made to add more Erlang in your sysadmin and developer life! Come and be punched and shaken by our Erlang cocktails! Cheers!🍸
Matthew @M2Gard1
216 Followers 2K Following tinkering & dreaming a very serious cognitive scientist 😆
pio_moon(庇護) @drowsysword
74 Followers 467 Following
IdiotMuffler @RebelEternus
88 Followers 274 Following "Hard times create strong men, strong men create good times, good times create weak men, and weak men create hard times."
Wenceslao Arenas @warenas
61 Followers 407 Following
Andrey Gershun @agershun
137 Followers 381 Following
Dima Sabanin @DmitrySabanin
527 Followers 665 Following CTO at Elara. Making programs that speak human for the benefit of humanity with some of my favorite people. Code archeologist. Complete nerd. A family man.
logtalk.org @LogtalkDotOrg
583 Followers 320 Following Logtalk development updates and relevant logic programming news.
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Markus Triska @MarkusTriska
394 Followers 89 Following Zugleich aber erscheint ein schwacher Lichtschimmer von der anderen Seite.
Torbjörn Josefsson @toblotron
23 Followers 23 Following
TerminusDB @TerminusDB
1K Followers 2K Following Open-source document graph database & headless CMS. Immutable. Git for data. Built for devs. Discord: https://t.co/6ERA7UMB6A GitHub: https://t.co/PCJP9o25bz
SWI_Prolog @SwiProlog_
630 Followers 151 Following Official account for SWI_Prolog, replacement for @ SWI_Prolog https://t.co/p0nj4vezrr
@AnneOgborn@pettingzo... @AnneOgborn
1K Followers 2K Following New account for @AnnieTheObscure, @trans_rescue, @SwiProlog_, social roboticist. still nondet 🏳️⚧️ Crotchety trans woman, transitioned 1984
The Search Space Podc... @searchspacepod
445 Followers 392 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.
emanuele.decup.is @balanza
151 Followers 540 Following I have strong opinions on nested ternaries • https://t.co/sgtIE3YvaY
Nico Gallinal @nicoabie
169 Followers 245 Following Software engineer, OSS contributor, ojotas ORM author, F1 fan, IG @trudyonwheels dad. Opinions are my own till I find better ones.
Verónica Dahl @VerunicaDahl
661 Followers 263 Following Co-founder of the Logic Programming field. Working on grammatical inference & on Doughnut Economics Drawing by @SebastianNavasF (gracias, Sebastián!)
Paul Brown @PaulBrownPhD
379 Followers 425 Following I work in AI with a logic bias. Writing AI applications in Logtalk using ontology, planning, and data analysis. Dr, QTS, 1689 Baptist.
Yehonathan Sharvit @viebel
2K Followers 70 Following Developer. Addicted to simplicity. Author of Data-Oriented programming book by Manning 👉 https://t.co/sgLClLSvUx
Luis de la Ossa @ldelaossa
215 Followers 226 Following Ph.D in Computer Science. Associate professor at University of Castilla-La Mancha.
SWI-Prolog official a... @SWI_Prolog
818 Followers 139 Following Official account of the SWI-Prolog project
Prolog @ Reddit & SO @r_Prolog
157 Followers 0 Following Twitter Bot that posts /r/prolog threads and Stackoverflow messages with tag:prolog.
Prolog et al. @PrologInfo
590 Followers 38 Following News, info, links, gossip, anything about Prolog, Constraint/(Inductive)Logic programming, Answer Set Programming, and beyond. A @llaisdy project.
Jose Maria Garcia @josegarciaclm95
262 Followers 616 Following PhD in Computer Science. Affective Computing. Data Scientist at RES Group. Reseño libros en https://t.co/f5cdqUecKV| #booktwt