Subject
General Computer Science,Theoretical Computer Science
Reference57 articles.
1. Introduction to logic programming;Apt,1990
2. On the correctness of unfold/fold transformation of normal and extended logic programs;Aravindan;Journal of Logic Programming,1995
3. Oracle semantics for Prolog;Barbuti;Information and Computation,1995
4. A general framework for semantics-based bottom-up abstract interpretation of logic programs;Barbuti;ACM Transactions on Programming Languages and Systems (TOPLAS),1993
5. A new fixpoint semantics for Prolog;Bossi,1993
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. S-Semantics–an Example;Logic-Based Program Synthesis and Transformation;2022
2. On definite program answers and least Herbrand models;Theory and Practice of Logic Programming;2016-05-03