OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

Lexikon

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. (1997-06-19)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ ad ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ au ] [ B ] [ b ] [ ba ] [ baSe ] [ bi ] [ bS ] [ ca ] [ cat ] [ ch ] [ co ] [ com ] [ de ] [ ding ] [ du ] [ ec ] [ ed ] [ edu ] [ er ] [ era ] [ eS ] [ et ] [ fi ] [ file ] [ function ] [ functional ] [ functional program ] [ functional programming ] [ G ] [ ge ] [ gen ] [ gi ] [ gr ] [ gu ] [ h ] [ hat ] [ hr ] [ id ] [ il ] [ in ] [ int ] [ interpreter ] [ io ] [ ir ] [ iS ] [ it ] [ la ] [ language ] [ ld ] [ Lex ] [ li ] [ LO ] [ lu ] [ M ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ nc ] [ ne ] [ ng ] [ ni ] [ nn ] [ no ] [ nS ] [ O ] [ om ] [ ph ] [ pl ] [ port ] [ pr ] [ predicate logic ] [ program ] [ programming ] [ programming language ] [ Prolog ] [ proof ] [ quality ] [ query ] [ rc ] [ re ] [ relation ] [ reSolution ] [ rete ] [ ro ] [ Se ] [ Set ] [ Sm ] [ So ] [ Solution ] [ St ] [ Standard ] [ Su ] [ Support ] [ Sy ] [ SyStem ] [ T ] [ TA ] [ TAB ] [ table ] [ th ] [ ua ] [ unification ] [ up ] [ ve ]

[ Go Back ]

Free On-line Dictionary of Computing

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.0905 Seconds, with 17 Database-Queries