Clolog
(github.com/bobschrag)
Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some extra goodies.
Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some extra goodies.
Solving a “Layton Puzzle” with Prolog
(buttondown.com)
I have a lot in the works for the this month's Logic for Programmers release. Among other things, I'm completely rewriting the chapter on Logic Programming Languages.
I have a lot in the works for the this month's Logic for Programmers release. Among other things, I'm completely rewriting the chapter on Logic Programming Languages.
Prolog planner generation prompting guide
(sgml.net)
Combining the strength of Large Language Models (LLMs) with Prolog combinatorial search is a natural fit actually delivering tangible progresses in mainstream automated planning.
Combining the strength of Large Language Models (LLMs) with Prolog combinatorial search is a natural fit actually delivering tangible progresses in mainstream automated planning.
Auto-Formatting Prolog Code
(occasionallycogent.com)
My Prolog LSP server has recently gained a new feature – the ability to automatically format code.
My Prolog LSP server has recently gained a new feature – the ability to automatically format code.
C Plus Prolog
(github.com/needleful)
Prolog is the only good programming language. I should know, my website is written in Prolog.
Prolog is the only good programming language. I should know, my website is written in Prolog.
Scryer Prolog NPM package (experimental)
(github.com/guregu)
This is a Typescript package that embeds Scryer Prolog.
This is a Typescript package that embeds Scryer Prolog.
The Simplicity of Prolog
(bitsandtheorems.com)
Nowadays the most popular programming languages are Python, Javascript, Java, C++, C#, Kotlin and Ruby, and the average programmer is probably familiar with one or more of these languages. It's relatively easy to switch from one to another (barring any framework specific knowledge that may be needed), since they are all imperative (and for the most part object-oriented) languages, and are thus alike in their design.
Nowadays the most popular programming languages are Python, Javascript, Java, C++, C#, Kotlin and Ruby, and the average programmer is probably familiar with one or more of these languages. It's relatively easy to switch from one to another (barring any framework specific knowledge that may be needed), since they are all imperative (and for the most part object-oriented) languages, and are thus alike in their design.
Fleng 22 (concurrent logic programming)
(call-with-current-continuation.org)
This software is an implementation of "FLENG", a low level concurrent logic programming language descended from Prolog.
This software is an implementation of "FLENG", a low level concurrent logic programming language descended from Prolog.
Use Prolog to write psycho-philosophical case studies
(ycombinator.com)
guys! I'm into logic and philosophy of language applied to psychology. stumbled on this site from googling prolog! please, can you recommend a programming Prolog video intro for me? And subsequent todo (applied) videos I can follow. I'm interested in programming (my undergrad is cs) immediately and applying Prolog to write psycho-philosophical case studies.
guys! I'm into logic and philosophy of language applied to psychology. stumbled on this site from googling prolog! please, can you recommend a programming Prolog video intro for me? And subsequent todo (applied) videos I can follow. I'm interested in programming (my undergrad is cs) immediately and applying Prolog to write psycho-philosophical case studies.
Game Programming in Prolog
(thingspool.net)
As a fan of unconventional programming paradigms, I enjoy learning new programming languages which are drastically different from the typical object-oriented ones such as C#, Java, and the like.
As a fan of unconventional programming paradigms, I enjoy learning new programming languages which are drastically different from the typical object-oriented ones such as C#, Java, and the like.
Developing a Go bot embedding Ichiban Prolog
(rogersm.net)
Ichiban Prolog is a #golang implementation of an ISO compatible Prolog. To learn how to embed it, I decided to add Prolog support to Hellabot, a simple irc bot.
Ichiban Prolog is a #golang implementation of an ISO compatible Prolog. To learn how to embed it, I decided to add Prolog support to Hellabot, a simple irc bot.
Closed Knight's Tour in Prolog
(metalevel.at)
This solution uses CLP(ℤ) constraints to model the problem. In particular, the circuit/1 constraint is used to describe a Hamiltonian circuit of the following graph:
This solution uses CLP(ℤ) constraints to model the problem. In particular, the circuit/1 constraint is used to describe a Hamiltonian circuit of the following graph:
Prolog-rs: Minimal Prolog implemented in Rust
(github.com/twolodzko)
This is a minimal Prolog interpreter implemented in Rust.
This is a minimal Prolog interpreter implemented in Rust.