Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. H. Aït-Kaci. An overview of LIFE. In Schmidt, Stogny (eds.) Next generation information system technology, pp. 42–58, LNCS 504, Springer-Verlag, 1990.
2. H. Aït-Kaci, P. Lincoln and R. Nasr. LeFun: Logic, Equations and FUNctions. In Proc. 4th IEEE international symposium on logic programming, pp. 17–23, 1987.
3. K. Apt and A. Pellegrini. Why the occur-check is not a problem. In Programming language implementation and logic programming, pp. 69–86, LNCS 631, Springer-Verlag, 1992.
4. J-L. Bouquard. Étude des rapports entre grammaires attribuées et programmation logique: application au test d'occurrence et è l'analyse statique, PhD thesis, University of Tours, 1992.
5. J. Boye. S-SLD-resolution — an operational semantics for logic programs with external procedures. In Programming language implementation and logic programming, pp. 383–393, LNCS 528, Springer-Verlag, 1991.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献