Comment Comment by entropyie Formal methods in Z notation or predicate logic in prolog... Still have nightmares 20 years later. parent entropyie 2 years ago
