Publisher： IGI Global_journal
E-ISSN： 1937-9420|5|2|60-67
ISSN： 1937-9390
Source： International Journal of Information Systems for Crisis Response and Management (IJISCRAM), Vol.5, Iss.2, 2013-04, pp. : 60-67
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Logic programming and the execution model of Prolog
Information Sciences - Applications, Vol. 4, Iss. 3, 1995-11 ,pp. :
Access to resources
Recommend
The Qu-Prolog unification algorithm: formalisation and correctness
Theoretical Computer Science, Vol. 169, Iss. 1, 1996-11 ,pp. :
Some classes of prolog programs inferable from positive data
By Rao M.R.K.K.
Theoretical Computer Science, Vol. 241, Iss. 1, 2000-06 ,pp. :
Refinement verification of the lazy caching algorithm
Acta Informatica, Vol. 43, Iss. 3, 2006-10 ,pp. :