www.metalevel.at is run by Prolog legend Markus Triska, author of CLP(FD)/CLP(Z). So it's not that they "discovered" anything about Prolog; they already knew t

www.metalevel.at is run by Prolog legend Markus Triska, author of CLP(FD)/CLP(Z). So it's not that they "discovered" anything about Prolog; they already knew the language inside out. This article explains how to appropriately use Prolog declaratively and with full generality.