Library Open Repository

On generating functional programs from PROLOG specifications

Downloads

Downloads per month over past year

Malhotra, V and Jain, A (1992) On generating functional programs from PROLOG specifications. Computers and Artificial Intelligence, 11 (2). pp. 375-384. ISSN 0232-0274

[img]
Preview
PDF
prolog2fp.pdf | Download (471kB)
Available under University of Tasmania Standard License.

Abstract

We identify a class of PROLOG programs that can be used as the specification of the functional programs. Using the mode information, the functions needed to construct the functional program are identified. The function definitions may then be derived from the clauses in PROLOG specification. Rules have been given for constructing a FP-like definition for the function representing the user query. The methodology makes an extensive use of the algebra of functional programs to simplify and consolidate these representations. The methodology has been illustrated using an example.

Item Type: Article
Keywords: Logic programming, functional progrming, program transformation
Journal or Publication Title: Computers and Artificial Intelligence
Page Range: pp. 375-384
ISSN: 0232-0274
Date Deposited: 16 Jun 2005
Last Modified: 18 Nov 2014 03:10
URI: http://eprints.utas.edu.au/id/eprint/183
Item Statistics: View statistics for this item

Repository Staff Only (login required)

Item Control Page Item Control Page