#prolog

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

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

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

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

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

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

I'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 #Haskell / #Rust / #Prolog (?) benchmark so we can cyberbully the new models and "AI coders" as they come out?

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

Curso "Programación lógica (2008-09)". https://jaalonso.github.io/cursos/d-pl-08 #ProgramaciónLógica #Prolog #IA

Readings shared March 21, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/21-readings_shared_03-21-25 #AI #ATP #Dedukti #FunctionalProgramming #Haskell #IsabelleHOL #LLMs #LeanProver #Liquid #Logic #Math #Prolog #Reasoning #SMT #Vampire

Curso "Programación declarativa (2008-09)". https://jaalonso.github.io/cursos/pd-08 #ProgramaciónFuncional #Haskell #ProgramaciónLógica #Prolog

Readings shared March 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-25 #AI #ASP #ATP #CLP #CommonLisp #Datalog #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #LogicProgramming #Mace #Math #Otter #Prolog #Prover9 #SMT #Z3

Curso "Programación lógica (2007-08)". https://jaalonso.github.io/cursos/d-pl-07 #ProgramaciónLógica #Prolog #IA

Curso "Programación declarativa (2007-08)". https://jaalonso.github.io/cursos/pd-07 #ProgramaciónFuncional #Haskell #ProgramaciónLógica #Prolog

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

I need some #lisp help.

I'm stuck on a recursion exercise - have been for 2 days!

We're given a at a structure a list of lists, where each such list is of the form (person mother father) .. and so a lot of these together create a family tree.

I want to write a function lineage x y which returns a list of ancestors from x to y ... eg x, mother of x, father of prev, y .... or NIL if y is not an ancestor of x.

I found this easy in #prolog (I wrote this https://prologbyexample.blogspot.com/2023/02/introducing-recursion.html ) but not #lisp.

Readings shared March 15, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/15-readings_shared_03-15-25 #ACL2 #AI #CHR #Constraint #Constraints #Emacs #FormalVerification #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #LogicProgramming #MachineLearning #Math #NLP #Prolog

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

C+P: Combining the Usefulness of C with the Excellence of Prolog - In a move that will absolutely not over-excite anyone, nor lead to any heated argu... - https://hackaday.com/2025/03/14/cp-combining-the-usefulness-of-c-with-the-excellence-of-prolog/ #softwaredevelopment #prolog #c

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