Hacker News with Generative AI: Prolog

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

31 points by tannhaeuser 2 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 7 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 20 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 22 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 48 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 69 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 130 days ago | 13 comments

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

Programming, Prolog, Compiler, Video

4 points by triska 132 days ago | 0 comments

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

Native Compilation, Prolog, Programming Languages

43 points by aarroyoc 135 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 162 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 176 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 187 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 192 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 193 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 198 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 203 days ago | 2 comments

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

Prolog, Law, Japan, Computer Science

16 points by yu3zhou4 261 days ago | 2 comments

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