Show HN: Writing an HTTP server in Prolog

#1

Post by jamesbvaughan » Sat, Nov 12, 2016, 10:42 PM UTC

Show HN: Writing an HTTP server in Prolog
jamesbvaughan.com

Re: Show HN: Writing an HTTP server in Prolog

#2

Post by dangoldin » Sat, Nov 12, 2016, 10:56 PM UTC

Pretty cool.

I also did a stint messing around with Prolog and it was pretty awesome discovering an entirely new programming paradigm. I ended up doing the Priceonomics puzzle (https://priceonomics.com/jobs/puzzle/) in Prolog and wrote up about it here - http://dangoldin.com/2013/06/07/fun-with-prolog-priceonomics...

Re: Show HN: Writing an HTTP server in Prolog

#3

Post by p4bl0 » Sat, Nov 12, 2016, 11:04 PM UTC

This is really fun. Thanks for sharing!

Re: Show HN: Writing an HTTP server in Prolog

#4

Post by aibottle » Sat, Nov 12, 2016, 11:33 PM UTC

No! What are you doing?! Let that language die in peace!

Re: Show HN: Writing an HTTP server in Prolog

#5

Post by MrFeynmannsJoke » Sat, Nov 12, 2016, 11:45 PM UTC

Sometimes, just because you can doesn't mean you should..

Re: Show HN: Writing an HTTP server in Prolog

#6

Post by nextos » Sat, Nov 12, 2016, 11:53 PM UTC

There is a revival of Datalog, a subset of Prolog, in relational databases and RAD. E.g., see LogicBlox or Datomic.

I always think Datalog should have taken a big chunk of SQL's market. And I wish something like Mozart/Oz was more mainstream so that we could implement subsystems using logic programming wherever needed.

Re: Show HN: Writing an HTTP server in Prolog

#7

Post by pizza » Sat, Nov 12, 2016, 11:54 PM UTC

Machine Learning in Prolog https://www.cs.unm.edu/~luger/ai-final2/CH7_Machine%20Learni...

Re: Show HN: Writing an HTTP server in Prolog

#8

Post by gnarbarian » Sun, Nov 13, 2016, 12:12 AM UTC

Prolog is extremely different than other programming languages and as a result, learning it and writing a few small programs is very mind expanding.

It really drives home how different paradigms are suited to different problems. Prolog is suited toward problems like Einsteins riddle

https://udel.edu/~os/riddle.html

Re: Show HN: Writing an HTTP server in Prolog

#9

Post by chriswarbo » Sun, Nov 13, 2016, 12:21 AM UTC

aibottle wrote: post #4

No! What are you doing?! Let that language die in peace!

Any particular reason you think Prolog should be abandoned?

I think it looks like very nice language for untyped, high-level programming.

Re: Show HN: Writing an HTTP server in Prolog

#10

Post by jamesbvaughan » Sun, Nov 13, 2016, 12:22 AM UTC

gnarbarian wrote: post #8

Prolog is extremely different than other programming languages and as a result, learning it and writing a few small programs is very mind expanding. It really drives home how different paradigms are suited to different problems. Prolog is suited toward problems like Einsteins riddle https://udel.edu/~os/riddle.html

The class I was taking kind of blew my mind when I saw how you can solve some problems in such cool ways with Prolog, but I would certainly admit that this server isn't exactly the kind of use it's best suited for.