NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Automatic program generation from specifications using PrologAn automatic program generator which creates Prolog programs from input/output specifications is presented. The generator takes as input descriptions of the input and output data types, a set of tests, a set of transformations and the input/out relation. Abstract data types are used as models. The tests, the transformations and the input/out relation are also specified by equations. The heuristics used by the automatic propram generator in building Prolog programs are discussed.
Document ID
19880007055
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Pelin, Alex
(Florida International Univ. Miami., United States)
Morrow, Paul
(Air Force Weapons Lab. Kirtland AFB, N. Mex., United States)
Date Acquired
September 5, 2013
Publication Date
November 1, 1987
Publication Information
Publication: NASA. Marshall Space Flight Center, Third Conference on Artificial Intelligence for Space Applications, Part 1
Subject Category
Computer Programming And Software
Accession Number
88N16437
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

There are no available downloads for this record.
No Preview Available