Tau Prolog @tau_prolog
An open source Prolog interpreter in JavaScript. tau-prolog.org Spain Joined August 2017-
Tweets181
-
Followers426
-
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
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.
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
216 Followers 662 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 90 Following Zugleich aber erscheint ein schwacher Lichtschimmer von der anderen Seite.
Petar Kabashki @p_kambal
4 Followers 93 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)
dr_ai_agent @Dr_Ai_Agent
13 Followers 180 Following
Alyssa101 @_Alyssa101_
204 Followers 503 Following Elegance is not a dispensable luxury but a quality that decides between success and failure.
Jorge Izquierdo @Ateneo
910 Followers 1K Following Autor de #InteligenciaArtificial_etcetera (@garajeediciones) Finalista III Premio Internacional a la Innovación Cultural del CCCB. #Wikipedia |@AQHueleInternet
dwardu @dwardu
80 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 561 Following A Graph Farmer 🧑🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
福森健司 Kenji Fu... @Kenji_Fukumori
95 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
孙笑川 @analyticlogic
5 Followers 174 Following
Adam Balski @Adam74911945
1 Followers 41 Following
Jose Alberto Vazquez ... @alberto_va39187
0 Followers 81 Following
Datawizz @datawizz0112358
95 Followers 1K Following
Benjamin Johnston @xmultiplier
26 Followers 42 Following
stranded @strandedio
203 Followers 396 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
573 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
340 Followers 1K Following cto ai-augmented • nostalgeek • monadist • egoless open source buidler CTO @axonexyz
आधुनिक �... @IndiaC4cl
17 Followers 166 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
9 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
13 Followers 177 Following
Claus Jürgensen @Juergensen
52 Followers 381 Following
João Aragão @jls_aragao
3 Followers 34 Following
Peter MOUEZA🇲🇫 @moueza
162 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
36 Followers 137 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
220 Followers 2K Following tinkering & dreaming a very serious cognitive scientist 😆
pio_moon(庇護) @drowsysword
78 Followers 468 Following
IdiotMuffler @RebelEternus
90 Followers 266 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 382 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
585 Followers 322 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 90 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_
628 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 391 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.
emanuele.decup.is @balanza
149 Followers 541 Following I have strong opinions on nested ternaries • https://t.co/sgtIE3YvaY
Nico Gallinal @nicoabie
167 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
665 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
373 Followers 422 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
213 Followers 226 Following Ph.D in Computer Science. Associate professor at University of Castilla-La Mancha.
SWI-Prolog official a... @SWI_Prolog
821 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
587 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
263 Followers 618 Following PhD in Computer Science. Affective Computing. Data Scientist at RES Group. Reseño libros en https://t.co/f5cdqUecKV| #booktwt