TABLOG: The deductive-tableau programming language

No abstract is available for this paper.

• Publication year

  1984

• Venue

  LFP '84

• Publication date

  1984-08-06

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/800055.802049
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Equality

  2021influential reference
• The Origin of the Binary-Search Paradigm

  1985cited by this paper
• Nonclausal Temporal Deduction

  1985cited by this paper
• Special relations in automated deduction

  1985cited by this paper
• Semantics of a Logic Programming Language with a Reducibility Predicate

  1984cited by this paper
• Equality, Types, Modules and Generics for Logic Programming

  1984cited by this paper
• Evaluation of Logic Programs Based on Natural Deduction (DRAFT)

  1983cited by this paper
• Equality for Prolog

  1983cited by this paper
• PROGRAMMING WITH PARAMETERIZED ABSTRACT OBJECTS IN OBJ.

  1983cited by this paper
• Logic for problem solving

  1982influential reference
• Special Relations in Program-Synthetic Deduction,

  1982cited by this paper
• A Deductive Approach to Program Synthesis

  1979cited by this paper
• A Machine-Oriented Logic Based on the Resolution Principle

  1965cited by this paper

• MOLOG: A system that extends PROLOG with modal logic

  2009cites this paper
• A Survey of Functional Programming

  2003cites this paper
• A Bibliography on Analytic Tableaux Theorem Proving

  1999cites this paper
• The evolution of Lisp

  1996cites this paper
• The evolution of Lisp

  1993cites this paper
• A “Functional + Logic” programming language in interpretation-compilation implementation

  1992cites this paper
• A Rationale for Conditional Equational Programming

  1990cites this paper
• Integrating Relational Databases and Constraint Languages

  1989cites this paper
• Semantics of EqL

  1988cites this paper
• Unification and Set-Valued Functions for Functional and Logic Programming,

  1987cites this paper
• Equations, sets, and reduction semantics for functional and logic programming

  1986cites this paper
• A survey of functional programming language principles

  1986cites this paper
• Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity

  1986cites this paper
• In the next section we consider functional programming using simplification and rewrit­ ing, and in the section that follows we consider logic programming using unification and nar­

  1985cites this paper
• Alternatives to Prolog as a Logic Programming Language

  1985cites this paper
• Functional Programming and Equality: their Relationship with Logic Programming

  1985cites this paper
• Computing with Rewrite Systems

  1985cites this paper
• Prolog Extensions Based on Tableau Calculus

  1985cites this paper
• A Logic Programming and Verification System for Recursive Quantificational Logic

  1985cites this paper
• Handling Function Definitions through Innermost Superposition and Rewriting

  1985cites this paper
• Conditional rewriting

  1985cites this paper
• Equational Programming: a Unifying Approach to Logic and Functional Programming Equational Programming: a Unifying Approach to Logic and Functional Programming

  1985cites this paper
• Semantics of EqLt 1

  year unknowncites this paper