1992
A theory of first-order built-in's of Prolog
Publication
Publication
Presented at the
International Conference on Algebraic and Logic Programming, Volterra
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Algebraic and Logic Programming | |
Organisation | Networks and Optimization |
Apt, K., Marchiori, E., & Palamidessi, C. (1992). A theory of first-order built-in's of Prolog. In Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (pp. 69–83). Springer. |