prolog2functionalKathmandu.pdf (807.32 kB)
On generating functional programs from PROLOG specifications
journal contribution
posted on 2023-05-25, 22:39 authored by Malhotra, V, Jain, AWe 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.
History
Publication title
Computers and Artificial IntelligenceVolume
11Article number
2Number
2Pagination
375-384ISSN
0232-0274Publication status
- Published
Repository Status
- Open