Hacker News with Generative AI: Prolog

Prolog's Eternal September (2017) (storytotell.org)
I realized recently that the way I have been handling answers to Prolog questions on Stack Overflow contravenes the rules.

Programming, Stack Overflow, Prolog

87 points by Tomte 15 days ago | 90 comments

How to Average in Prolog (2017) (storytotell.org)
If I had to average a list of numbers, I would probably do it like this:

Programming, Logic Programming, Prolog

72 points by todsacerdoti 16 days ago | 23 comments

Pkg.pl: An experimental package manager for Scryer Prolog (github.com/bakaq)
This project is intended to be a testing ground for how to do a package manager for Scryer Prolog.

Prolog, Package Managers, Experimental Projects

13 points by triska 26 days ago | 0 comments

Prolog Adventure Game (github.com/stefanrodrigues2)
Text Adventure game in SWI Prolog.

Programming, Prolog, Game Development

166 points by shakna 32 days ago | 26 comments

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.

Programming Languages, Clojure, Prolog, Lisp

258 points by todsacerdoti 38 days ago | 44 comments

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.

Programming, Logic Programming, Prolog, Puzzles

110 points by Tomte 45 days ago | 28 comments

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.

Prolog, Artificial Intelligence, Automated Planning

33 points by tannhaeuser 51 days ago | 1 comments

Auto-Formatting Prolog Code (occasionallycogent.com)
My Prolog LSP server has recently gained a new feature – the ability to automatically format code.

Programming, Prolog, Tools

6 points by Tomte 56 days ago | 0 comments

The British Nationality Act as a Prolog Program (1986) [pdf] (ic.ac.uk)

Prolog, Law, Programming, United Kingdom, Legal Documents

35 points by Tomte 68 days ago | 17 comments

C Plus Prolog (github.com/needleful)
Prolog is the only good programming language. I should know, my website is written in Prolog.

Programming Languages, Prolog

177 points by mpweiher 71 days ago | 53 comments

Scryer Prolog NPM package (experimental) (github.com/guregu)
This is a Typescript package that embeds Scryer Prolog.

Prolog, TypeScript, Programming Languages, Software, Open Source

14 points by triska 96 days ago | 3 comments

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.

Programming Languages, Prolog, Computer Science

202 points by thunderbong 118 days ago | 128 comments

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.

Programming Languages, Logic Programming, Prolog, Concurrent Programming

126 points by 082349872349872 179 days ago | 13 comments

Native compilation of Prolog predicates: Scryer Prolog JIT compiler [video] (youtube.com)

Programming, Prolog, Compiler, Video

4 points by triska 180 days ago | 0 comments

Native compilation of Prolog predicates with Cranelift [pdf] (adrianistan.eu)

Native Compilation, Prolog, Programming Languages

43 points by aarroyoc 184 days ago | 5 comments

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.

Prolog, Philosophy, Psychology, Programming

8 points by vaguetruth 211 days ago | 7 comments

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.

Programming Languages, Game Development, Prolog

283 points by febin 225 days ago | 62 comments

Use of Prolog for developing a new programming language (1992) (ist.psu.edu)

Prolog, Programming Languages, Computer Science, Artificial Intelligence, History

3 points by surprisetalk 236 days ago | 0 comments

Scryer Prolog: The fourth iteration of rebis-dev is out (github.com/mthom)

Programming, Software, New Releases, Prolog

7 points by triska 241 days ago | 0 comments

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.

Go, Programming Languages, Bots, Prolog

69 points by triska 242 days ago | 6 comments

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:

Programming, Prolog, Artificial Intelligence, Constraint Programming

3 points by todsacerdoti 247 days ago | 0 comments

Prolog-rs: Minimal Prolog implemented in Rust (github.com/twolodzko)
This is a minimal Prolog interpreter implemented in Rust.

Programming, Rust, Prolog, New Releases, Software

12 points by PaulHoule 251 days ago | 2 comments

Prolog Formulation of the Constitution of Japan (github.com/bitlaw-jp)

Prolog, Law, Japan, Computer Science

16 points by yu3zhou4 309 days ago | 2 comments

Trealla Prolog: Compact and efficient Prolog interpreter (trealla-prolog.github.io)