TABLOG

<language> A programming language based on first order predicate logic with equality that combines relational programming and functional programming. It has functional notation and unification as its binding mechanism. TABLOG supports a more general subset of standard first order logic than Prolog. It employs the Manna-Waldinger 'deductive-tableau' proof system as an interpreter instead of resolution.

Last updated: 1997-06-19

Try this search on Wikipedia, OneLook, Google

Nearby terms: table locking « tablespace « TABLET « TABLOG » tab-separated values » TABSOL » Tabulating Machine Company


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.