slovodefinícia
tablog
(foldoc)		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)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4