«
[ Back to Home ] » << Return to Computer Dictionary Home
.
Computer Dictionary Online
A to Z Computer Terms Dictionary, Definitions Search |
0-9
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z |
TABLOG definition
<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
computer dictionary, computer terms dictionary, online computer dictionary, computer definition dictionary online, microsoft computer dictionary fifth edition, computer lingo dictionary, computer terminology dictionary, computer computer dictionary dictionary internet internet terms terms, barrons business computer dictionary dictionary internet terms, abbreviation computer dictionary lingo, computer dictionary edition new tenth websters world, computer dictionary with terms and definition, computer science dictionary, american computer dictionary house language random sign websters, dictionary computer internet terms, microsoft computer dictionary, computing dictionary [
Home
Law Dictionary ] [
Financial Dictionary ] [
Medical Dictionary ] [
Computer Dictionary ] Hot Links : Electronic Tutorials Information Encyclopedia Directory Science Projects Indian Food Recipes Hot Game Cheater , Love & Romance Attachments Krrish Game for PC
Best Online Dictionary .com
