SLD-резолюция
method
ID: sldresolution
Related Papers
Processing Language with Logical Types and Active Constraints
In this document, we present a language which associates type construction principles to constraint logic programming. We show that it is very appropriate for language processing, providing more uniform, expressive …...