Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Logel is a programming language for symbolic computation. The language includes support for automated theorem proving, predicate calculus, and recursive functions. Logel was developed in the Soviet Union during the latter half of the 20th century at the Dorodnitsyn Computing Centre of Russian Academy of Sciences.

Hire Logel Experts

Enter your email to get started.