> Other than that, I've never seen a logic language quite like this one before. One part of the documentation[1] implies it was a language designed by the proj

> Other than that, I've never seen a logic language quite like this one before. One part of the documentation[1] implies it was a language designed by the project's creator himself: """ The language this tool uses is a kind of symbolic logic. It was designed with these criteria in mind: The language should only use basic SCII characters which are available on a standard English keyboard, so typing expressions in the language is easy. The language should be terse in such a way that it is fast to type but not generally difficult to read. The language should enable a person to arrange expressions in such a way that they are readable. The symbols defined in the language should have a precedent in other languages. The symbols in this language are borrowed from conventional symbolic logic, conventional mathematical notation, and the C programming language. """ [1] http://somerby.net/mack/logic/documentation.html#the_language http://somerby.net/mack/logic/documentation.html#the_languag...