Word:

TABLOG

(language)TABLOG - 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.
Browse
tablefork
tableland
Tableman
tablemate
Tablement
Tabler
Tables
Tables of a girder
Tablespoon
Tablespoonful
Tablet
tablet-armed chair
tabletop
Tableware
Tabling
Tabling house
-- TABLOG --
Tabloid
Taboo
tabooli
Tabor
tabor pipe
Tabora
Taborer
Taboret
Taborine
Taborite
Tabour
Tabouret
Tabrere
Tabret
Tabriz
TABSOL
Definitions Index: # 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

About this site and copyright information - Online Dictionary Home