leastfixedpoint

Archived tweet #10727 from the @leastfixedpoint Twitter Archive
@monadic @cmeik Prolog feels like programming, not proving, to me...