Search
  • All Journals
Advanced Search
Search articles by Title, Author, Keywords, DOI
7.7CiteScore
2.0Impact Factor
Advanced Search
MAP  >  The Knowledge Engineering Review
1995 Volume 10
Article Contents
Next Previous
REVIEW   Open Access    

More Information
  • 加载中
  • Gurr CA, 1994. “A Self-Applicable Partial Evaluator for the Logic Programming Language Godel.” Unpublished PhD thesis, Department of Computer Sciences, University of Bristol.

    Google Scholar

    Kowalski R, 1979. “Algorithm = Logic + Control.” Communications of ACM22424–436.

    Google Scholar

    Milner R, 1978. “A theory of type polymorphism in programming.” Journal of Computer and System Sciences17 (3) 348–375.

    Google Scholar

    Naish L, 1986. Negation and Control in Prolog, Vol. 238, Lecture Notes in Computer Science. Springer- Verlag.

    Google Scholar

  • Cite this article

    shu
Download PDF

Article Metrics

Article views(14) PDF downloads(44)

Other Articles By Authors

REVIEW   Open Access    

  • Published online: 07 July 2009
The Knowledge Engineering Review  10,  Article number: 10.1017/S0269888900007360  (1995)  |  Cite this article

    HTML

    Rights and permissions
    • Copyright © Cambridge University Press 19951995Cambridge University Press
References (4)
  • About this article
    Cite this article
    shu

    • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return