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

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

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 declarativa (2005-06)". https://jaalonso.github.io/cursos/pd-05/index.html #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

Bridging the Gap: Clojure Meets Scryer Prolog with Libscryer-clj

The emergence of Libscryer-clj offers a seamless integration between Clojure and the modern Prolog system, Scryer Prolog, enabling developers to leverage the power of logic programming in a familiar e...

https://news.lavx.hu/article/bridging-the-gap-clojure-meets-scryer-prolog-with-libscryer-clj

The simplicity of Prolog. ~ Ties Westendorp. https://bitsandtheorems.com/the-simplicity-of-prolog/ #Prolog #LogicProgramming

Describing domino tilings with Prolog. ~ Markus Triska. https://youtu.be/h5Xy4YjCZxM #Prolog #LogicProgramming

My fiddly scraps for trying to implement follow Tom Stuart's Hello, Declarative World using Lua. Translating Ruby enumerators to Lua coroutines was a little cursed and frustrating but Lua Programmers Make Due.

https://codeberg.org/CapitalEx/hello-declarative-moon

Readings shared January 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/10-readings_shared_01-10-25 #ITP #LeanProver #Logic #Math #Haskell #Python #ASP #LogicProgramming #AI #NeuroSymbolicAI #LLMs

I'm teaching my first lecture at the new job today, about probabilistic logic programming, probabilistic inference, and (weighted) model counting.

Some of the required reading is a paper (https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-003/index.html) that was written by a great mentor of mine, prof. dr. Fahiem Bacchus. He passed away just over 2 years ago, and I am honoured to keep his memory alive by teaching his ideas to a new generation of students. Hope to do him proud.

Please send good vibes?

Readings shared December 10, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/10-readings_shared_12-10-24 #Haskell #Python #Math #Logic #SMT #Z3 #Python #LLMs #Prolog #LogicProgramming

Help, there's #logic in my #camera!

$ ./config_query 'eq(A, config(_, 640, _, _)), A.'
camera.get_id() = "uvc:Integrated Camera"
Solution: "A = config(fourcc_YUYV, 640, 480, fraction(1, 30)),"
Solution: "A = config(fourcc_MJPG, 640, 480, fraction(1, 30)),"
fraction(1, 30)),"

Oh wait, it's just #Prolog in the incoming #libobscura feature.

The above query returns supported #image formats and frame rates at 640px wide.

This API is optional, but do learn some Prolog anyway.

Readings shared October 25, 2024. https://jaalonso.github.io/vestigium/posts/2024/10/25-readings_shared_10-25-24 #ITP #LeanProver #IsabelleHOL #Math #Prolog #ASP #CLP #LogicProgramming #LLMs #GenerativeAI #Rust #Verification

On teaching constraint-based modeling and algorithms for decision support in Prolog. ~ François Fages. https://prolog-lang.org/Education/2024_WS_papers/short7PEG.0.fages.pdf #CLP #LogicProgramming

Bringing logic programming to primary school: a teacher training course. ~ Laura Andrea Cecchi, Jorge Pablo Rodríguez. https://prolog-lang.org/Education/2024_WS_papers/short1PEG2.0.cecci.pdf #Prolog #LogicProgramming #Education

Controlled natural language models. ~ Jacinto A. Dávila Quintero. https://prolog-lang.org/Education/2024_WS_papers/paper10PEG2.0.davila.pdf #LLMs #Prolog #LogicProgramming

Computational thinking with logic programming. ~ Gopal Gupta, Elmer Salazar, Joaquín Arias. https://prolog-lang.org/Education/2024_WS_papers/paper8PEG2.0.gupta.pdf #ASP #LogicProgramming

Democratising access to logic programming: A Web application design tool for querying Prolog code. ~ Santiago Andrés Villarroel, Christian Nelson Gimenez, Jorge Pablo Rodríguez, Laura Andrea Cecchi. https://prolog-lang.org/Education/2024_WS_papers/paper5PEG2.0.cecci.pdf #Prolog #LogicProgramming