Paper Info
Title
Bagof/3 to ZF expression: an example prolog application manually translated to Miranda
Abstract
There is sometimes the requirement in logic programming applications to collect all the solutions of a non-deterministic program and associated goal. A manual technique is given for translating an example Prolog procedure, append/3, used by the predicate bagof/3, to a functionally equivalent program expressed in the functional programming language Miranda which uses a ZF (Zermelo Frankel) expression.
Year
DOI
Venue
1990
10.1145/382076.382645
SIGPLAN Notices
Keywords
Field
DocType
functionally equivalent program,logic programming application,functional programming,miranda,functional programming language,manual technique,zf expression,prolog,zermelo frankel,example prolog procedure,non-deterministic programming,logic programming,predicate bagof,associated goal,non-deterministic program,example prolog application
Functional logic programming,Fifth-generation programming language,Horn clause,Programming language,Computer science,Constraint programming,Theoretical computer science,Symbolic programming,Prolog,Declarative programming,Logic programming
Journal
Volume
Issue
ISSN
25
7
0362-1340
Citations 
PageRank 
References 
0
0.34
1
Authors
1
Name
Order
Citations
PageRank
Peter Greenfield1278.03