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.
(1997-06-19)
Nearby terms:
table locking « tablespace « TABLET « TABLOG
» tab-separated values » TABSOL » Tabulating Machine
Company
|