Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary

Logel

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.

Back
Hire Logel Experts

Enter your email to get started.