H ? « ‹ ← → › »

Language peer sets for TABLOG:
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

TABLOG(ID:2705/tab009)

The deductive table programming language 

alternate simple view
Designed 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
Manna and Waldinger 1971 → TABLOG   Evolution of
References:
  • Malachi et al (1984) Malachi, Yonathan; Manna, Zohar and Waldinger, Richard "TABLOG: The deductive tableau programming language" Stanford university Computer science department. Report STAN-CS-84-1012
  • Malachi, Yonathan; Manna, Zohar and Waldinger, Ric (1984) Malachi, Yonathan; Manna, Zohar and Waldinger, Richard "TABLOG: The deductive tableau programming language" Abstract Extract: Introduction
          in [ACM] (1984) [ACM] Logic and Functional Programming, 1984
  • Malachi, Yonathan (1985) Malachi, Yonathan "Nonclausal Logic Programming," PhD dissertation, Computer Science Department, Stanford University, 1985.
          in [ACM] (1984) [ACM] Logic and Functional Programming, 1984
  • Malachi, Yonathan; Manna, Zohar and Waldinger, Ric (1986) Malachi, Yonathan; Manna, Zohar and Waldinger, Richard "TABLOG: A New Approach to Logic Programming"
          in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986
  • Malachi, Yonathan; Manna, Zohar and Waldinger, Ric (1986) Malachi, Yonathan; Manna, Zohar and Waldinger, Richard "Tablog: Functional and Relational Programming in One Framework" Abstract
          in (1986) IEEE Software 3(01) January 1986 (Multiparadigm language projects)
  • Swart HCM (1989) Swart HCM "Improving tablog" Bulletin of the EATCS, 1989
          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