Learn Prolog Now! @learnprolognow
Learn Prolog Now! is an introductory course to programming in Prolog. learnprolognow.org Joined April 2013-
Tweets28
-
Followers335
-
Following9
-
Likes0
New! A manual for drawing Prolog search trees, with lots of examples, covering variable renaming, disjunction, cut, and negation, and the complete search trees of Learn Prolog Now: arxiv.org/abs/2001.08133
Interesting new interactive version of the LPN website (you can run and modify examples right away):... fb.me/3v3M3jFbu
#Learn #Prolog Now with embedded SWISH for running examples: lpn.swi-prolog.org/lpnpage.php?pa…
We're experimenting with a new interactive version of the LPN website (you can run and modify examples right away): lpn.swi-prolog.org
Sperberg-McQueen and Marcoux use Prolog to prove the informational equivalency of documents as translated into logical notation. #balisage
#SWI-Prolog based chat server: github.com/JanWielemaker/… I must say that I am impress. the code is clean, clear, and concise.
"Prolog and CHR in Finance" (2012 pdf) significant real world use of #prolog. dtai.cs.kuleuven.be/CHR/files/Elst…
#Prolog was like a thundershock to my programming paradigm being dominated by C/C++ until now! :O
A huge fraction (> half sometimes) of the code I write would be safer and clearer in a logic programming language.
A #Prolog programmer holds his newly born baby, the mother asks: "is it a boy or a girl?" he answers "yes".
This could be interesting, #Prolog on the #Raspberry Pi. I haven't touched Prolog in probably 25 years. #funstuff
Learning Prolog to be a better Haskell programmer. ~ @Skyul bit.ly/1eJVcHK #Haskell #Prolog
Nice blog post about having fun with Prolog: vadimcomanescu.wordpress.com/2014/02/25/hav…
Utility predicate of the day: once_or_else(+Goal): like once(+Goal), but raises an exception if Goal fails. #Prolog
17 Free eBooks On Prolog Programming! ow.ly/tipxj
I recommend learnprolognow.org for anyone who wants to start with #prolog and GNUProlog as an interpreter #7L7W
Part 2 of my reflections on #Prolog after spending two months studying @learnprolognow -- bengribaudo.com/blog/2014/01/0…
@blm849 @Grady_Booch Correct. #IBMWatson's pattern matching algorithms are in Prolog: ibmresearchnews.blogspot.com/2011/04/open-a…
This November the LPN! site, learnprolognow.org, saw over 25,000 unique visitors, breaking the old month record!
logtalk.org @LogtalkDotOrg
585 Followers 322 Following Logtalk development updates and relevant logic programming news.
Code Master 👨�... @Mister_Negativo
328 Followers 1K Following Programar es tan fácil como encontrar el santo grial https://t.co/axAkeVdeSX https://t.co/euate1KiNS 😃
mindprime.ai @MindPrimeAI
181 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
Valeriy Zamaraiev �... @valeryz
1K Followers 953 Following CTO at @1kxnetwork | prev @Zilliqa, @dfinity, @google (ML and DevEx at YouTube and Google Assistant) https://t.co/xQCwIpMmdp
fornever @_for_never
23 Followers 335 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
_8o|oJd 空洞 @kenryoindo
110 Followers 325 Following Views are my own; Logic programming; comp models of cognition, decision, and language; 旧AI三等兵; πρ〇λ〇γ;○○&effect;数理経済認知モデリングに基づく作曲; 冬耳洗水:-
Christian Theil Have @c7n
112 Followers 815 Following
Not AI @not_ai_314
14 Followers 136 Following
Roberto Shimizu @robertoshimizu
36 Followers 390 Following
noname2022 @noname202217
8 Followers 95 Following
Oliver Barker @OliverB21672040
8 Followers 524 Following
Damián @Dod3s_
2 Followers 51 Following
Alyssa101 @_Alyssa101_
205 Followers 503 Following Elegance is not a dispensable luxury but a quality that decides between success and failure.
Kenshin @Raydruryne
245 Followers 255 Following
proni @antonioniweb
11 Followers 69 Following
Nicolay Bigasz @nclbgsz
3 Followers 695 Following
λy @rpbmpn
79 Followers 711 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.
Aníbal Haro @cannibalha
10 Followers 88 Following
Pete XL Pizza @peteXLarge
580 Followers 3K Following independent software artisan & Clojure enthusiast
Collins Ezemuonye @CEzemuonye
12 Followers 145 Following
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!🍸
David Grant @dgrant4262
62 Followers 498 Following
Ira Bell @IraLeeBell
2K Followers 1K Following Tech and space enthusiast with 3 exits to public companies, Astronomy/Planetary Sciences at @ASU
plevexier @plevexier
37 Followers 241 Following
Cleyton Slaviero @cslaviero
230 Followers 951 Following Mestre@UFF Doutorando@PUC-Rio Professor@UFMT Na rede do elefante: [email protected] Na rede da borbolets: https://t.co/lGUQWvhRFw
Fox Arael Reynard @foxarael
72 Followers 354 Following
Rikard Lang @rikardlang
298 Followers 625 Following Prolog hacking, scribe de macabre, retro gaming, cuppa loving, weird Burtonesque hairy, bearded father of a son and a daughter.
Wenceslao Arenas @warenas
61 Followers 407 Following
Anung B Ariwibowo @IDontHaveTwiets
192 Followers 1K Following I like to play with paradoxical names. And tweets.
Yuhao Zhu @yzhu88
509 Followers 607 Following @UofR CS Faculty. Formerly @utexasece. I do computing research and pet cats.
mario martell @laultima
3K Followers 3K Following || Periodista | Morador de la República de los bits | Lector de significantes vacíos | Autor de "El aria de Giacomo" y "Yo no soy un nativo digital" ||
László Harri Német... @HarriLaszlo
103 Followers 884 Following I’m an SAP developer who is interested in various technologies, like: Python, SQL, ABAP, HANA, Swift, Javascript, C/C++/Obj-C, Ruby. Views are mine, not SAP’s.
Observer @JustAnnObserver
0 Followers 2K Following
Zizo @Zyad16771112
115 Followers 5K Following
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.
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
Roger Sen @rogersm@ma... @rogersm
1K Followers 5K Following
agelos @age_los_
5 Followers 287 Following
Scripter Jazzy @jscripter
1K Followers 4K Following 情報によってどのように世界が把握できるのかに、そして、Perl、Rakuなどのスクリプティング言語による情報処理にも興味があります。そして、Jazzにも! ぴよ将棋歴が5年目に入る。初段+付近で停滞^^;) https://t.co/hTALKiz4Gg
Isaías García @iafigr
218 Followers 1K Following No soy nada. Nunca seré nada. No puedo querer ser nada. Aparte de esto, tengo en mí todos los sueños del mundo. Fernando Pessoa
logtalk.org @LogtalkDotOrg
585 Followers 322 Following Logtalk development updates and relevant logic programming news.
SWI-Prolog official a... @SWI_Prolog
821 Followers 139 Following Official account of the SWI-Prolog project
Kilian Evang ist hier... @texttheater
640 Followers 388 Following Bei Mastodon: @[email protected] Bei Bluesky via Bridgy Fed (https://t.co/W9vBpDMOXY): @texttheater.mastodon.social.ap.brid.gy
NLTK @NLTK_org
2K Followers 32 Following Info about current and planned development, code releases and book updates. Tweets by Steven and Ewan
Grzegorz Chrupała �... @gchrupala
5K Followers 974 Following This account is no longer active. Find me on 🦋.
Patrick Blackburn @HybridLogicGuy
56 Followers 21 Following
Jason Baldridge @jasonbaldridge
10K Followers 1K Following Research scientist at Google in Austin working on grounded language understanding.
ParallelMeaningBank @MeaningBank
242 Followers 250 Following The Parallel Meaning Bank (PMB), a corpus of translated texts annotated with formal semantics for English, German, Dutch and Italian.Trends for United States
You might like
