Hacker News with Generative AI: Prolog

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

Native Compilation, Prolog, Programming Languages

21 points by aarroyoc 12 hours ago | 4 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 28 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 42 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 52 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 58 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 59 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 64 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 68 days ago | 2 comments

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

Prolog, Law, Japan, Computer Science

16 points by yu3zhou4 126 days ago | 2 comments

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