|
|
Miller, Dale (1991): A Logic Programming Language with Lambda--Abstraction, Function Variables, and Simple Unification
| Title: |
A Logic Programming Language with Lambda--Abstraction, Function Variables, and Simple Unification |
| Author(s): |
Miller, Dale |
| Year: |
1991 |
| Booktitle: |
Extensions of Logic Programming |
| Editor(s): |
Schroeder--Heister, P. |
| Number: |
475 |
| Pages: |
253-283 |
| Publisher: |
Springer--Verlag |
| Address: |
Berlin |
Concepts
|
|
