Curso "Programación declarativa (2006-07)". https://jaalonso.github.io/cursos/pd-06 #LogicProgramming #Prolog #AI #NLP #Constraints #Logic
Principles of rule-based programming. ~ Thom Frühwirth. https://books.google.com/books/?id=ciVOEQAAQBAJ #CHR #Constraint #LogicProgramming
「 Curry is a declarative multi-paradigm programming language which combines in a seamless way features from functional programming (nested expressions, higher-order functions, strong typing, lazy evaluation) and logic programming (non-determinism, built-in search, free variables, partial data structures) 」
Curso "Programación declarativa (2005-06)". https://jaalonso.github.io/cursos/pd-05/index.html #LogicProgramming #Prolog
Curso "Programación declarativa (2004-05)". https://jaalonso.github.io/cursos/pd-04 #LogicProgramming #Prolog
Truth Functional Logic for Hackers
https://lagomor.ph/2025/02/truth-functional-logic-for-hackers-part-one/
Curso "Programación declarativa (2003-04)" https://jaalonso.github.io/cursos/pd-03 #LogicProgramming #Prolog
If you're interested in #Scheme, #Lisp, #MiniKanren or #LogicProgramming, I wholeheartedly recommend William Byrd's 'From Bronze to GM' youtube series:
https://youtube.com/@williamebyrd
Readings shared February 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/13-readings_shared_02-13-25 #AI #Autoformalization #Coq #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Programming #Prolog #Rocq
LP-LM: No hallucinations in question answering with logic programming. ~ Katherine Wu, Yanhong A. Liu. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2024.5.pdf #LLMs #LogicProgramming #Prolog
On LLM-generated logic programs and their inference execution methods. ~ Paul Tarau. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2024.1.pdf #LLMs #LogicProgramming #Prolog
Readings shared January 28, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/28-readings_shared_01-28-25 #ITP #LeanProver #Logic #Math #Prolog #LogicProgramming #Racket #FunctionalProgramming
The simplicity of Prolog. ~ Ties Westendorp. https://bitsandtheorems.com/the-simplicity-of-prolog/ #Prolog #LogicProgramming