·metalevel.at
Prolog guide warns against impure constructs and global state that silently drop solutions or create hidden dependencies
The article argues that Prolog programs can be defective not only by returning wrong answers, but also by failing to return intended solutions. It warns against impure, non-monoton...
read →