Filter
Exclude
Time range
-
Near
Winson Tang@winsontang
7h
Discover the power of the Mercury logic programming system! 🚀 Designed for high-performance and reliability, it enhances your coding experience with robust features. Join the conversation and share your thoughts on its capabilities! #Programming #LogicProgramming
5
Jacinto Dávila retweeted
José A. Alonso@Jose_A_Alonso
Jun 12
Solving a chess puzzle with Claude and Prolog. ~ John D. Cook. johndcook.com/blog/2026/06/1… #Prolog #LogicProgramming #LLMs

Solving a chess puzzle with Claude and Prolog

Solving a chess problem by Martin Gardner using Claude to generate Prolog code.

johndcook.com
3
7
607
IJPLA@ijpla
Jun 8
#ObjectOrientedProgramming #FunctionalProgramming #LogicProgramming #ConcurrentProgramming #ParallelComputing #DistributedSystems #DomainSpecificLanguages #LanguageDesign #CodeOptimization #RuntimeSystems #VirtualMachines #SoftwareTesting #Debugging #SecureProgramming
1
EDUCBA for Business@EducbaBusiness
May 18
💻 Master Prolog Family Trees! Learn how facts, rules, and queries define relationships such as parent, sibling, and grandparent in logic programming, with practical examples. 🔗 Read more: educba.com/prolog-family-tre… #Prolog #Coding #Developer #AI #Programming #LogicProgramming
1
2
50
José A. Alonso@Jose_A_Alonso
May 11
Sweep: SWI-Prolog embedded in Emacs. eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
2
7
344
José A. Alonso@Jose_A_Alonso
May 3
Collatz conjecture in Prolog. ~ Markus Triska. youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming

Collatz Conjecture in Prolog

The Collatz conjecture is also known as 3n 1 conjecture, Ulam's con...

youtube.com
4
11
826
José A. Alonso@Jose_A_Alonso
Apr 15
Readings shared April 14, 2026. jaalonso.github.io/vestigium… #AI4Math #Autoformalization #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

Readings shared April 14, 2026 | Vestigium

The readings shared in Bluesky on 14 April 2026 are: A formal proof of the Ramanujan-Nagell theorem in Lean 4. ~ Barinder S. Banwait. #LeanProver #ITP #AI4Math Formalization of De Giorgi-Nash-Moser t

jaalonso.github.io
1
2
292
José A. Alonso@Jose_A_Alonso
Apr 13
Reseña de «Education for logical thinking in the age of AI». jaalonso.github.io/vestigium… #Logic #LogicProgramming #Prolog

Reseña de «Education for logical thinking in the age of AI» | Vestigium

El artículo «Education for logical thinking in the age of AI», de Robert Kowalski, plantea que el avance de la IA neuronal —opaca, propensa a alucinaciones y capaz de difundir desinformación— exige qu

jaalonso.github.io
1
5
285
José A. Alonso@Jose_A_Alonso
Apr 13
Education for logical thinking in the age of AI. ~ Robert Kowalski. researchgate.net/profile/Rob… #Logic #LogicProgramming
4
15
637
José A. Alonso@Jose_A_Alonso
Apr 5
Readings shared April 4, 2026. jaalonso.github.io/vestigium… #AI #AI4Math #ATP #Agda #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Prolog #Racket #RocqProver

Readings shared April 4, 2026 | Vestigium

The readings shared in Bluesky on 4 April 2026 are: Why Lean?. ~ Leonardo de Moura. #LeanProver #ITP A formalization of the Gelfond-Schneider theorem. ~ Michail Karatarakis, Freek Wiedijk. #LeanProve

jaalonso.github.io
2
225
José A. Alonso@Jose_A_Alonso
Apr 4
Representing graphs in Prolog. ~ Markus Triska. youtu.be/5fAWYqM9v8k #Prolog #LogicProgramming

Representing Graphs in Prolog

Prolog provides several mechanisms that we can use to efficiently r...

youtube.com
1
23
1,931
Kenji Tokuo@ktokuo
Mar 23
Quantum logic-based computation easily gets stuck 🛑 My research addresses this by using physical commutativity to enable backchaining & unification in Gentzen’s sequent calculus. ⚛️📜 doi.org/10.1007/s42452-019-1… #QuantumLogic #LogicProgramming #CompSci
2
4
438
José A. Alonso@Jose_A_Alonso
Jan 19
Logic programming with extensible types. ~ Ivan Perez, Angel Herranz. arxiv.org/abs/2601.03836v1 #Haskell #FunctionalProgramming #Prolog #LogicProgramming

Logic Programming with Extensible Types

Logic programming languages present clear advantages in terms of declarativeness and conciseness. However, the ideas of logic programming have been met with resistance in other programming...

arxiv.org
3
38
2,165
José A. Alonso@Jose_A_Alonso
Jan 19
Playing with Gödel’s incompleteness theorem in Prolog. ~ Kenichi Sasagawa. medium.com/@kenichisasagawa/… #Prolog #LogicProgramming #Logic

Playing with Gödel’s Incompleteness Theorem in Prolog

During a holiday, I suddenly felt like revisiting Chaitin-style Lisp code related to Gödel’s incompleteness theorem, this time rewriting it…

medium.com
2
13
739
José A. Alonso@Jose_A_Alonso
8 Dec 2025
Readings shared December 7, 2025. jaalonso.github.io/vestigium… #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math #Prolog #Python

Readings shared December 7, 2025 | Vestigium

The readings shared in Bluesky on 7 December 2025 are: 50 years of proof assistants. ~ Lawrence Paulson. #ITP #IsabelleHOL #CoqProver #HOL DeepWiki leanprover-community/mathlib4: A comprehensive data

jaalonso.github.io
1
288
Youngjin Kang@architsch
5 Dec 2025
Design your own custom game engine using a logic interpreter! (Visit: thingspool.net/concepts-of-p… ) #GameEngine #GameMechanics #GameDesign #FunctionalProgramming #DeclarativeProgramming #LogicProgramming #LISP #Haskell #Prolog #VirtualMachine #OOP #ComputationalLinguistics #AI
1
5
93
Youngjin Kang@architsch
30 Nov 2025
Logic programming will pave the way to a new game design paradigm (Visit: thingspool.net/concepts-of-p… ) #GameEngine #GameMechanics #GameDesign #DeclarativeProgramming #LogicProgramming #Emergence #SeriousGames #ComputationalLinguistics #AI #Blockchains #DistributedComputing

Linear Algebra for Game Development - Part 27

This article explains how to use linear algebra in the design and implementation of video games.

thingspool.net
1
3
89
Load more