And the reasoning for making the distinction between 1st order logic vs. 2nd order logic is? More appropriate terminology: Use of logic and/or to form stream o

And the reasoning for making the distinction between 1st order logic vs. 2nd order logic is? More appropriate terminology: Use of logic and/or to form stream of programming language statments via concatination, where &,|,&&,|| used instead of if..then, case, etc. Use cases of in-language take of higher level programming language stream of statements in mannar akin to rex, sed, awk. Non-compiler, simpler/smaller hand rolled version of end result of linearization a compiler would normally do. lisp example:[0] [0] LinearLisp: a proof of concept in full linearization for AST-walking interpreters