Author:
Etalle Sandro,Gabbrielli Maurizio
Reference36 articles.
1. Introduction to logic programming;Apt,1990
2. Verification of logic programs with delay declarations;Apt,1995
3. On the occur-check free Prolog programs;Apt;ACM Toplas,1994
4. Reasoning about Prolog programs: from modes through types to assertions;Apt;Formal Aspects of Computing,1994
5. Recognizing non-floundering logic programs and goals;Barbuti;International Journal on Foundations of Computer Science,1990
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. LicenseScript: a logical language for digital rights management;annals of telecommunications - annales des télécommunications;2006-04
2. The witness properties and the semantics of the
Prolog cut;Theory and Practice of Logic Programming;2002-12-18