News for hackers. Stuff that matters.

A comment on The Art of Prolog, Second Edition. Parent comment

Re:The Art of Prolog, Second Edition by simplify on Wednesday October 10, 2018 @04:28PM (#18188544)
Mercury is a promising logic programming language that's under development https://github.com/Mercury-Language/mercury

Tutorial available here (the "Ralph Becket Murcury tutorial" pdf) http://mercurylang.org/documentation/documentation.html

[ Parent | on HN ]
Re:The Art of Prolog, Second Edition by timb07 on Wednesday October 10, 2018 @08:56PM (#18190261)
The Mercury compiler is written in Mercury, which is syntactically derived from Prolog. The original compiler was bootsrapped by stripping the non-Prolog parts from the code and executing it on NU-Prolog. The compiler first successfully compiled itself in 1995, after which NU-Prolog was no longer needed.

And just to tie this back to the original topic, Leon Sterling (first author of The Art of Prolog) was the head of the Department of Computer Science at the University of Melbourne when the development of Mercury began there.

[ Parent | on HN ]