1994
A declarative approach for first-order built-in's of Prolog
Publication
Publication
Applicable Algebra in Engineering, Communication and Computing , Volume 5 - Issue 3-4 p. 159- 191
Presented at the
International Conference on Algebraic and Logic Programming, Volterra
| Additional Metadata | |
|---|---|
| , | |
| Springer | |
| Applicable Algebra in Engineering, Communication and Computing | |
| International Conference on Algebraic and Logic Programming | |
| Organisation | Networks and Optimization |
|
Apt, K., Marchiori, E., & Palamidessi, C. (1994). A declarative approach for first-order built-in's of Prolog. In Applicable Algebra in Engineering, Communication and Computing (Vol. 5, pp. 159–191). Springer. |
|
