On: Show HN: Writing my first interpreter in C for fun

[agumonkey]

Evaluator; Parsers too. Prolog is an amazing idea (even with its limitation). But when you come from the bit array banging side of computer programming it's such an alien idea.

[GregBuchholz → agumonkey]

For those interested in parsing with Prolog, check out Definite Clause Grammars and The Craft of Prolog.

http://www.learnprolognow.org/lpnpage.php?pagetype=html&page...

https://www.amazon.com/Craft-Prolog-Logic-Programming/dp/026...

[segmondy → agumonkey]

Just a logically way of thinking. Many people don't know it, but Java is verified with prolog.

https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.ht...

[agumonkey → segmondy]

Haaaa I remember reading the spec, before I knew prolog .. didn't realize what I was reading. Neat.

[Immortalin → agumonkey]

You can always try Erlang's pattern matching..