Readings shared September 29, 2024. jaalonso.github.io/vestigium/po...#ITP#LeanProver#Lean4#Logic#Math#Haskell#FunctionalProgramming#Prolog#ASP#LogicProgramming#AI
The readings shared in Mastodon on 29 September 2024 are Readings shared September 28, 2024. #ITP #LeanProver #IsabelleHOL #Coq #HOLLight #Logic #Math M2Lyon2425: Sets and functions (Solutions). ~ Fi
ASP: un devenir de Prolog. ~ Belaïd Benhamou, Vincent Risch & Éric Würbel. roia.centre-mersenne.org/item/10.5802...#LogicProgramming#Prolog#ASP
L’IA symbolique et le dépassement de la logique classique. ~ Henri Prade. roia.centre-mersenne.org/item/10.5802...#AI#Logic#Prolog#LogicProgramming
PROLOG en son temps: hier, aujourd’hui, demain. Un point de vue industriel, économique et géopolitique. ~ Jean Rohmer. roia.centre-mersenne.org/item/10.5802...#Prolog#LogicProgramming
The Marseille-Edinburgh connection. ~ Robert Kowalski. roia.centre-mersenne.org/item/10.5802...#Prolog#LogicProgramming
Readings shared September 9, 2024. jaalonso.github.io/vestigium/po...#ITP#Lean4#IsabelleHOL#Math#Calculemus#Prolog#LogicProgramming#Python
The readings shared in Mastodon on September 9, 2024 are Readings shared September 8, 2024. #ITP #Agda #Math #Haskell #FunctionalProgramming Proofs of "a+aq+aq²+···+aqⁿ = a(1-qⁿ⁺¹)/(1-q)" in Lean4 an
Readings shared August 30, 2024. jaalonso.github.io/vestigium/po...#ITP#IsabelleHOL#Agda#Logic#Math#Nix#Haskell#FunctionalProgramming#LogicProgramming
Logic programming with extensible types. ~ Ivan Perez & Angel Herranz. ntrs.nasa.gov/citations/20...#Haskell#FunctionalProgramming#LogicProgramming
Readings shared August 26, 2024. jaalonso.github.io/vestigium/po...#ITP#Lean4#IsabelleHOL#Math#Calculemus#Prolog#LogicProgramming
Game programming in Prolog (Part 1). ~ Youngjin Kang. thingspool.net/morsels/page...#Prolog#LogicProgramming
This article explains how a game can be made in Prolog by leveraging the hidden power of logic programming. Inspired by the elegance of data-driven design and declarative programming paradigms, I will...