Predicate Logic as a programming language [pdf]www-public.it-sudparis.eu3 points·YeGoblynQueenne··1 commentOpen articleSaveView on HN