RF-Maple(ID:5506/rfm001)
A logic programming language with functions, types, and concurrency
Related languages
| Maple |
=> |
RF-Maple | |
Extension of |
References:
Voda, Paul J.; Benjamin Yu "RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency". FGCS 1984: 341-347 view details
|