PrenexLink

From OpenCog
Jump to: navigation, search

A PrenexLink is a kind of RewriteLink, that, when executed, keeps all variable declarations in prenex normal form. It is not typically used by itself; rather, it serves as a base class for many link types that must be kept in prenex normal form when they are manipulated. These include, but are not limited to: