Corpus ID: 7775118

RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency

@inproceedings{Voda1984RFMapleAL,
  title={RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency},
  author={Paul J. Voda and Benjamin Yu},
  booktitle={FGCS},
  year={1984}
}
  • Paul J. Voda, Benjamin Yu
  • Published in FGCS 1984
  • Computer Science
  • Currently there is a wide interest in the combination of functional programs with logic programs. The advantage is that both the compostion of functions and non-determinism of relations can be obtained. The language RF-Maple is an attempt to combine logic programming style with functional programming style. ``RF'''' stands for ``Relational and Functional''''. It is a true union of a relational programming language R-Maple and a functional programming language F-Maple. R-Maple is a concurrent… CONTINUE READING

    Topics from this paper.

    Citations

    Publications citing this paper.