Mastodon

José A. AlonsoPEIRCE: 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">https://arxiv.org/abs/2504.04110</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a>

José A. AlonsoReadings 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">https://jaalonso.github.io/vestigium/posts/2025/04/06-readings_shared_04-06-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoTemas 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">https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/li-11/temas/temas-LI-2011-12.pdf</a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lógica</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgramaciónLógica</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoCurso "Lógica informática (2011-12)". <a href="https://jaalonso.github.io/cursos/li-11" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/li-11</a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lógica</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgramaciónLógica</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoProlog 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">https://prologsource.wordpress.com/2025/04/05/prolog-vs-llms-a-complementary-approach-to-ai-according-to-deepseek/</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a>

José A. AlonsoBuilding 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">https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

Serpent7776Rust Bytes Challenge #60 The Word Ladder in <a href="https://mastodon.social/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rust</a> and <a href="https://mastodon.social/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#prolog</a> Given a start word, an end word, and a dictionary of valid words, write a function to find the shortest "ladder" (sequence of words) from start to end.

José A. AlonsoReadings 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">https://jaalonso.github.io/vestigium/posts/2025/04/02-readings_shared_04-02-25</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/HOL4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HOL4</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Mathlib" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mathlib</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoCurso 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">https://burjcdigital.urjc.es/server/api/core/bitstreams/30d163ff-af2a-46b8-9b3b-980b87bbf13f/content</a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lógica</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgramaciónLógica</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoApuntes 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">https://burjcdigital.urjc.es/server/api/core/bitstreams/601a1567-c9b0-43c8-b684-6321230bf781/content</a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lógica</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgramaciónLógica</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoEnseñ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">https://cied.urjc.es/innovacion/banco-de-buenas-practicas-docentes/item/1425-ensenanza-del-sistema-de-deduccion-natural-en-logica-proposicional-aplicando-programacion-logica</a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lógica</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgramaciónLógica</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoReadings 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">https://jaalonso.github.io/vestigium/posts/2025/04/01-readings_shared_04-01-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SMT</a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Z3</a>

José A. AlonsoA small Prolog on the Z3 AST. ~ Philip Zucker. <a href="https://www.philipzucker.com/knuck_prolog/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.philipzucker.com/knuck_prolog/</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Z3</a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SMT</a>

José A. AlonsoReadings 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">https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calculemus</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Philosophy</a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoEjercicios 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">https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/pd-09/temas/ej_prog_Prolog.pdf</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a>

José A. AlonsoIntroducción a la programación lógica con Prolog. <a href="https://web.archive.org/web/20211024153243/http://www.cs.us.es/~jalonso/publicaciones/2006-int_prolog.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://web.archive.org/web/20211024153243/http://www.cs.us.es/~jalonso/publicaciones/2006-int_prolog.pdf</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a>

José A. AlonsoCurso "Programación declarativa (2009-10)". <a href="https://jaalonso.github.io/cursos/pd-09" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/pd-09</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a>

José A. AlonsoReadings shared March 27, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/27-readings_shared_03-27-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/03/27-readings_shared_03-27-25</a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CLP</a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Coq</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rocq</a> <a href="https://mathstodon.xyz/tags/TeXLaTeX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TeXLaTeX</a>

José A. AlonsoApuntes de programación lógica (Hasta Prolog y más allá). ~ Joaquín Arias. <a href="https://burjcdigital.urjc.es/server/api/core/bitstreams/c5a03eda-4615-4b16-a6ab-650bad265f1e/content" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://burjcdigital.urjc.es/server/api/core/bitstreams/c5a03eda-4615-4b16-a6ab-650bad265f1e/content</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CLP</a>

l'empathie mécaniqueI'm done with looking at the bullshit evals that give high scores to the toddler-level systems or woo the audience with cookie-cutting skills.Who wants to join forces and make a new <a href="https://qoto.org/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> / <a href="https://qoto.org/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> / <a href="https://qoto.org/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> (?) benchmark so we can cyberbully the new models and "AI coders" as they come out?

Recent searches

Search options

Administered by:

Server stats:

#prolog