#LogicProgramming - 101010.pl

8 posts6 participants2 posts today

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

meta_predicate declarations. ~ Markus Triska. https://youtu.be/m3cbgebcKng #Prolog #LogicProgramming

youtu.be- YouTubeEnjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Readings shared April 6, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/06-readings_shared_04-06-25 #AI #Haskell #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #ProgramaciónFuncional #Prolog

Vestigium · 1dReadings shared April 6, 2025The readings shared in Bluesky on 6 April 2025 are Prolog vs LLMs: A complementary approach to AI (according to DeepSeek). #Prolog #LogicProgramming #LLMs #AI #Exercitium: Enumeración de árboles bina

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Prolog vs LLMs: A complementary approach to AI (according to DeepSeek). https://prologsource.wordpress.com/2025/04/05/prolog-vs-llms-a-complementary-approach-to-ai-according-to-deepseek/ #Prolog #LogicProgramming #LLMs #AI

A.I. programming in Prolog and Assembler · 2dProlog vs LLMs: A Complementary Approach to AI (according to DeepSeek)Recently I asked DeepSeek: «Can the computer language PROLOG remain useful in today’s LLM-based A.I.?» Here is DeepSeek’s answer: Yes, Prolog can still remain useful in today’s AI…

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Readings shared April 5, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/05-readings_shared_04-05-25 #FunctionalProgramming #Haskell #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog

Vestigium · 2dReadings shared April 5, 2025The readings shared in Bluesky on 5 April 2025 are Building AI for mathematical reasoning. ~ Chris Garcia. #Prolog #LogicProgramming #Logic #Math #Exercitium: Números triangulares con n cifras distin

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Building AI for mathematical reasoning. ~ Chris Garcia. https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72 #Prolog #LogicProgramming #Logic #Math

AI Advances · 2dBuilding AI for Mathematical Reasoning - AI AdvancesBy Chris Garcia

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Readings shared April 2, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/02-readings_shared_04-02-25 #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Mathlib #Prolog

Vestigium · 5dReadings shared April 2, 2025The readings shared in Bluesky on 2 April 2025 are Basic probability in Mathlib. ~ Rémy Degenne. #ITP #LeanProver #Mathlib #Math GOL in GOL in HOL: Verified circuits in Conway's game of life. ~ Magnu

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Readings shared April 1, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/01-readings_shared_04-01-25 #AI #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #SMT #Z3

Vestigium · 6dReadings shared April 1, 2025The readings shared in Bluesky on 1 April 2025 are A small Prolog on the Z3 AST. ~ Philip Zucker. #Prolog #LogicProgramming #Z3 #SMT STP: Self-play LLM theorem provers with iterative conjecturing and

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

A small Prolog on the Z3 AST. ~ Philip Zucker. https://www.philipzucker.com/knuck_prolog/ #Prolog #LogicProgramming #Z3 #SMT

Hey There Buddo! · Mar 31A Small Prolog on the Z3 ASTOne nice thing about Knuckledragger https://github.com/philzook58/knuckledragger is that I have built a raft of little functionality such that now I can rip out cute little examples.

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Readings shared March 28, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-25 #AI #Calculemus #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Philosophy #Programming #Prolog

Vestigium · Mar 28Readings shared February 28, 2025The readings shared in Bluesky on 28 March 2025 are A gentle introduction to Isabelle and Isabelle/HOL. ~ Gunnar Teege. #ITP #IsabelleHOL Verified collaboration: How Lean is transforming mathematics,

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Ejercicios de programación lógica con Prolog (Versión de 20 de septiembre de 2007). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/pd-09/temas/ej_prog_Prolog.pdf #Prolog #LogicProgramming

web.archive.orgWayback Machine

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Introducción a la programación lógica con Prolog. https://web.archive.org/web/20211024153243/http://www.cs.us.es/~jalonso/publicaciones/2006-int_prolog.pdf #Prolog #LogicProgramming

web.archive.orgWayback Machine

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Curso "Programación declarativa (2009-10)". https://jaalonso.github.io/cursos/pd-09 #Haskell #FunctionalProgramming #Prolog #LogicProgramming

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Readings shared March 27, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/27-readings_shared_03-27-25 #CLP #Coq #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #ProgramaciónFuncional #Prolog #Rocq #TeXLaTeX

Vestigium · Mar 27Readings shared February 27, 2025The readings shared in Bluesky on 27 March 2025 are Formalization of optimality conditions for smooth constrained optimization problems. ~ Chenyi Li et als. #ITP #LeanProver Formalization of algorith

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Apuntes de programación lógica (Hasta Prolog y más allá). ~ Joaquín Arias. https://burjcdigital.urjc.es/server/api/core/bitstreams/c5a03eda-4615-4b16-a6ab-650bad265f1e/content #LogicProgramming #Prolog #CLP

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Readings shared March 24, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/24-readings_shared_03-24-25 #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Lisp #LogicProgramming #MachineLearning #Math #Otter #Prolog #Prover9

Vestigium · Mar 24Readings shared February 24, 2025The readings shared in Bluesky on 24 March 2025 are Formal verification of machine learning models in Lean. ~ Matéo H. Petel. #ITP #LeanProver #MachineLearning Why Lisp syntax works. ~ Fernando Borre

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. https://acnsci.org/journal/index.php/cte/article/view/838/860 #LogicProgramming #Prolog #ASP #CLP #Datalog

acnsci.orgView of Teaching logic programming: a review

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Curso "Programación declarativa (2006-07)". https://jaalonso.github.io/cursos/pd-06 #LogicProgramming #Prolog #AI #NLP #Constraints #Logic

jaalonso.github.ioProgramación declarativa (2006-07)

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Principles of rule-based programming. ~ Thom Frühwirth. https://books.google.com/books/?id=ciVOEQAAQBAJ #CHR #Constraint #LogicProgramming

Google BooksPrinciples of Rule-Based ProgrammingThe book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic Web, decision support, optimization problems, simulation and modeling, software engineering, program verification and security, and artificial intelligence. Through clear definitions, helpful explanations, concrete examples and instructive exercises with selected solutions, the reader will gain a thorough understanding of rule-based formalisms, systems and programming languages. The rule-based formalisms presented are Multiset Transformation, Term Rewriting Systems, Colored Petri Nets and Logical Algorithms. The rule-based systems are Production Rules, Event-Condition-Action Rules and Datalog. The rule-based programming languages are Functional Programming, Constraint Logic Programming and Concurrent Constraint Programming. By embedding these approaches into Constraint Handling Rules, a powerful and versatile programming language, it provides a common platform for understanding and comparison as well as execution and analysis of rule-based approaches. The book is ideal for researchers, students and programmers who want to learn about the power and potential of rule-based programming and understand its characteristic features and abilities.

Drag & drop to upload