mastodon uno admin ⌈☉<p><a href="https://rosettacode.org/wiki/Balanced_brackets#Prolog" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">rosettacode.org/wiki/Balanced_</span><span class="invisible">brackets#Prolog</span></a> <a href="https://functional.cafe/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prolog</span></a><br>balanced_brackets --> [].<br>balanced_brackets --><br> ['['],<br> balanced_brackets,<br> [']'].<br>balanced_brackets --><br> ['[',']'],<br> balanced_brackets.</p>
Ricerche recenti
Nessuna ricerca recente
Opzioni di ricerca
Disponibile solo dopo aver effettuato l'accesso.
mastodon.uno è uno dei tanti server Mastodon indipendenti che puoi usare per partecipare al fediverso.
Mastodon.Uno è la principale comunità mastodon italiana.
Con 77.000 iscritti è il più grande nodo Mastodon italiano: anima ambientalista a supporto della privacy e del mondo Open Source.
Amministrato da:
Statistiche del server:
6,3Kutenti attivi
mastodon.uno: Info · Stato · Cartella dei profili · Politica sulla privacy
Mastodon: Info · Scarica l'app · Scorciatoie da tastiera · Visualizza il codice sorgente · v4.3.7
#prolog
4 post · 4 partecipanti · 0 post oggi
José A. Alonso<p>Readings shared April 8, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/08-readings_shared_04-08-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/08-readings_shared_04-08-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
FunnyI Got FIRED From Meta After Just 7 Days — Here’s the Disturbing Truth They Don’t Want Y...<br><br><a href="https://medium.com/predict/i-got-fired-from-meta-after-just-7-days-heres-the-disturbing-truth-they-don-t-want-you-to-know-6508159e986f?source=rss----661161fab0d0---4" rel="nofollow noopener noreferrer" target="_blank">https://medium.com/predict/i-got-fired-from-meta-after-just-7-days-heres-the-disturbing-truth-they-don-t-want-you-to-know-6508159e986f?source=rss----661161fab0d0---4</a><br><br><a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/satire" target="_blank">#satire</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/software-engineering" target="_blank">#software-engineering</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/humor" target="_blank">#humor</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/programming" target="_blank">#programming</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/prolog" target="_blank">#prolog</a><br><br><a href="https://awakari.com/pub-msg.html?id=UtEi8DOTix1yJuAyH8Ngz02pWBE" rel="nofollow noopener noreferrer" target="_blank">Event Attributes</a>
José A. Alonso<p>PEIRCE: Unifying material and formal reasoning via LLM-driven neuro-symbolic refinement. ~ Xin Quan, Marco Valentino, Danilo S. Carvalho, Dhairya Dalal, André Freitas. <a href="https://arxiv.org/abs/2504.04110" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2504.04110</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a></p>
José A. Alonso<p>Readings shared April 7, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/07-readings_shared_04-07-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/07-readings_shared_04-07-25</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Minlog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Minlog</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a></p>
José A. Alonso<p>meta_predicate declarations. ~ Markus Triska. <a href="https://youtu.be/m3cbgebcKng" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/m3cbgebcKng</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a></p>
José A. Alonso<p>Readings shared April 6, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/06-readings_shared_04-06-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/06-readings_shared_04-06-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Temas de "Lógica informática" (curso 2011-12). <a href="https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/li-11/temas/temas-LI-2011-12.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/http://www</span><span class="invisible">.cs.us.es/~jalonso/cursos/li-11/temas/temas-LI-2011-12.pdf</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Curso "Lógica informática (2011-12)". <a href="https://jaalonso.github.io/cursos/li-11" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/li-1</span><span class="invisible">1</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Prolog vs LLMs: A complementary approach to AI (according to DeepSeek). <a href="https://prologsource.wordpress.com/2025/04/05/prolog-vs-llms-a-complementary-approach-to-ai-according-to-deepseek/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">prologsource.wordpress.com/202</span><span class="invisible">5/04/05/prolog-vs-llms-a-complementary-approach-to-ai-according-to-deepseek/</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a></p>
José A. Alonso<p>Readings shared April 5, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/05-readings_shared_04-05-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/05-readings_shared_04-05-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Building AI for mathematical reasoning. ~ Chris Garcia. <a href="https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ai.gopubby.com/building-ai-for</span><span class="invisible">-mathematical-reasoning-996a81eb8b72</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Readings shared April 2, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/02-readings_shared_04-02-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/02-readings_shared_04-02-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/HOL4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HOL4</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Mathlib" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathlib</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Curso de programación lógica. ~ Ana Pradera. <a href="https://burjcdigital.urjc.es/server/api/core/bitstreams/30d163ff-af2a-46b8-9b3b-980b87bbf13f/content" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">burjcdigital.urjc.es/server/ap</span><span class="invisible">i/core/bitstreams/30d163ff-af2a-46b8-9b3b-980b87bbf13f/content</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Apuntes de lógica: desde Aristóteles hasta Prolog. ~ Joaquín Arias. <a href="https://burjcdigital.urjc.es/server/api/core/bitstreams/601a1567-c9b0-43c8-b684-6321230bf781/content" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">burjcdigital.urjc.es/server/ap</span><span class="invisible">i/core/bitstreams/601a1567-c9b0-43c8-b684-6321230bf781/content</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Enseñanza del sistema de deducción natural en lógica proposicional aplicando programación lógica. ~ Joaquín Arias, Iván Ramírez. <a href="https://cied.urjc.es/innovacion/banco-de-buenas-practicas-docentes/item/1425-ensenanza-del-sistema-de-deduccion-natural-en-logica-proposicional-aplicando-programacion-logica" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cied.urjc.es/innovacion/banco-</span><span class="invisible">de-buenas-practicas-docentes/item/1425-ensenanza-del-sistema-de-deduccion-natural-en-logica-proposicional-aplicando-programacion-logica</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Readings shared April 1, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/01-readings_shared_04-01-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/01-readings_shared_04-01-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Z3</span></a></p>
José A. Alonso<p>A small Prolog on the Z3 AST. ~ Philip Zucker. <a href="https://www.philipzucker.com/knuck_prolog/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">philipzucker.com/knuck_prolog/</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Z3</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a></p>
José A. Alonso<p>Readings shared March 28, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/03/28-readings_shared_03-28-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Calculemus</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Philosophy</span></a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Ejercicios de programación lógica con Prolog (Versión de 20 de septiembre de 2007). <a href="https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/pd-09/temas/ej_prog_Prolog.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/http://www</span><span class="invisible">.cs.us.es/~jalonso/cursos/pd-09/temas/ej_prog_Prolog.pdf</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a></p>
EsploraFeed dal vivo
Mastodon è il modo migliore per tenere il passo con quello che sta accadendo.
Segui chiunque nel fediverso e vedi tutto in ordine cronologico. Nessun algoritmo, annunci o clickbait in vista.
Crea un profiloAccediTrascina e rilascia per caricare