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
Nearby terms:
tablespace ♦ TABLET ♦ TABLOG ♦ tab-separated values ♦ TABSOL ♦ Tabulating Machine Company
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
