Author:
Ströder Thomas,Emmes Fabian,Schneider-Kamp Peter,Giesl Jürgen,Fuhs Carsten
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Apt, K.R.: From Logic Programming to Prolog. Prentice Hall (1997)
2. Arbab, B., Berry, D.M.: Operational and denotational semantics of Prolog. Journal of Logic Programming 4, 309–329 (1987)
3. Börger, E., Rosenzweig, D.: A mathematical definition of full Prolog. Science of Computer Programming 24, 249–286 (1995)
4. Cerrito, S.: A linear semantics for allowed logic programs. In: LICS 1990, pp. 219–227. IEEE Press (1990)
5. Cheng, M.H.M., Horspool, R.N., Levy, M.R., van Emden, M.H.: Compositional operational semantics for Prolog programs. New Generat. Comp. 10, 315–328 (1992)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reversible Debugging in Logic Programming;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
2. Selective Unification in (Constraint) Logic Programming*;Fundamenta Informaticae;2020-12-10
3. Reversible Computations in Logic Programming;Reversible Computation;2020
4. An SMT-Based Concolic Testing Tool for Logic Programs;Functional and Logic Programming;2020
5. Selective unification in constraint logic programming;Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming;2017-10-09