• Navigation
  • Home
  • About
  • FAQ
  • Development
  • Project Status
  • Topic Categories
  • Recent Changes
• Community
  • The Team
  • Donate
  • Get Involved
  • Events
• Toolbox
  • What links here
  • Related changes
  • Upload file
  • Special pages
• Personal tools
  • Log in / create account

Reduct

From OpenCog

Reduct is a component of MOSES that works on Combo program trees.

See The Reduct Library: Reducing Programs to Normal Form