Implementing Quine's algorithm

16 posts were merged into an existing topic: Improving Wang’s algorithm in Prolog