First order compiler: A deterministic logic program synthesis algorithm
type: Item
instance of: scholarly article
title: First order compiler: A deterministic logic program synthesis algorithm
zbMATH Open document ID: 0693.68017
DOI: 10.1016/S0747-7171(89)80064-1
author: Taisuke Sato
author: Hisao Tamaki
published in: Journal of Symbolic Computation
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N99
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 4135390
zbMATH Keywords: compiler
zbMATH Keywords: logic programs
zbMATH Keywords: definite clause programs
Wikidata QID: Q122908310
MaRDI profile type: Publication
cites work: Q4692876
cites work: Q3773305
cites work: A Transformation System for Developing Recursive Programs
cites work: A completeness theorem for SLDNF resolution
cites work: Q3919057
cites work: Q3490933
cites work: Q3745245
cites work: Derivation of Logic Programs
cites work: Q3789064
cites work: Negation-as-failure rule for general logic programs with equality
cites work: Q3339245
cites work: Making prolog more expressive
cites work: Q3830520
cites work: Making exhaustive search programs deterministic
description: scientific article; zbMATH DE number 4135390