Prolog implementation of the Knuth-Bendix completion proceduremetalevel.at4 points·carapace··0 commentsOpen articleSaveView on HN