A lot of libraries for neural networks are written Turing-complete programming languages such as Python, C++, PHP, and Java. However, at the moment, there no suitable implemented a p-complete logical language L. This paper investigates issues polynomial-computable representation this language, where basic elements hereditarily finite list elements, programs defined using special terms formulas ...