News for hackers. Stuff that matters.

A comment on C Plus Prolog.

Re:C Plus Prolog by xonix on Thursday March 13, 2025 @09:10PM (#43358740)
Long time ago I was obsessed with Prolog. I found that if you bend it enough you could implement imperative code (a-la JavaScript) evaluation, still being valid Prolog:

https://github.com/xonixx/prolog-experiments/blob/main/Prolo...

This was super funny, but obviously absolutely useless

[ Parent | on HN ]
Re:C Plus Prolog by convolvatron on Thursday March 13, 2025 @09:49PM (#43358907)
Why do you say that? Imagine you wrote a language that looked procedural but was actually relational underneath? We could get rid of so much glue and use unification when it made sense and ignore it otherwise. That’s a great idea
[ Parent | on HN ]
Re:C Plus Prolog by winwang on Thursday March 13, 2025 @09:54PM (#43358929)
Sounds similar to Haskell "do" notation where it can look procedural, but backed by FP principles and tools.

(Something something monads are sequentialness)

[ Parent | on HN ]