Hacker News with Generative AI: Prolog

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 54 days ago | 13 comments

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

Programming, Prolog, Compiler, Video

4 points by triska 55 days ago | 0 comments

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

Native Compilation, Prolog, Programming Languages

43 points by aarroyoc 58 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 86 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 100 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 110 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 115 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 117 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 122 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 126 days ago | 2 comments

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

Prolog, Law, Japan, Computer Science

16 points by yu3zhou4 184 days ago | 2 comments

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