TABLOG: The Deductive Tableau Programming Language

Abstract

Our research concentrated on the following topics: The Deductive- Tableau System , The TABLOG language and its implementation, A Resolution Approach to Temporal Proofs, Temporal Logic Programming, Logic Programming Semantics: Techniques and Applications. Keywords: Programming language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1988
Accession Number
ADA202490

Entities

People

  • Zohar Manna

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Contracts
  • Equations
  • Language
  • Machines
  • Naval Warfare
  • Programming Languages
  • Semantics
  • Specifications
  • Universities
  • Virtual Machines

Fields of Study

  • Education
  • Engineering

Readers

  • Computational Linguistics