H ?
«
‹
←
→
›
»
Language peer sets for TABLOG: Designed 1984 ↑ 1980s languages ↑ Fourth generation↑ Late Cold War↑ TABLOG(ID:2705/tab009)The deductive table programming languagealternate simple viewDesigned 1984 Published: 1984 The deductive table 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. Structures: Related languages
References: in [ACM] (1984) [ACM] Logic and Functional Programming, 1984 in [ACM] (1984) [ACM] Logic and Functional Programming, 1984 in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986 in (1986) IEEE Software 3(01) January 1986 (Multiparadigm language projects) in (1986) IEEE Software 3(01) January 1986 (Multiparadigm language projects) Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |