Transformation of logic programs to FP programs based on dataflows

DOI10.1006/JSCO.1994.1041zbMath0819.68033OpenAlexW1966396542MaRDI QIDQ1338343

Susumu Yamasaki, Kentaro Iida

Publication date: 29 November 1994

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1994.1041

zbMATH Keywords

functional formlogic program

Mathematics Subject Classification ID

Logic programming (68N17) General topics in the theory of software (68N01)

This page was built for publication: Transformation of logic programs to FP programs based on dataflows