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.
| < Previous Terms | Terms Containing TABLOG | Next Terms > |
| TAA TAB table table locking TABLET | TABLOG | tab-separated values TABSOL Tabulating Machine Company TAC TACL |
