We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 15 Issue 5
September  2000
Turn off MathJax
Article Contents
Abstract
References
NIE Xumin, GUO Qing. Renaming a Set of Non-Horn Clauses[J]. Journal of Computer Science and Technology, 2000, 15(5): 409-415.
Citation: NIE Xumin, GUO Qing. Renaming a Set of Non-Horn Clauses[J]. Journal of Computer Science and Technology, 2000, 15(5): 409-415.
shu

Renaming a Set of Non-Horn Clauses

  • Department of Computer Science; Wichita State University; Wichita; Kansas 67260; USA Department of Computer Science; State University of New York at Albany Albany; New York 12222; USA;

More Information
  • Published Date: September 09, 2000
    Abstract
  • Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a set of clauses less "non-Horn" using predicate renaming, the performance of these case-analysis based procedures can be improved significantly. In addition, the paper also investigated the problem of efficiently constructing a predicate renaming that reduces the degree of "non-Hornness" of a c…
    • FullText(HTML)
    • References (3)
  • [1]
    Clocksin W F, Mellish C S. Programming in Prolog. Springer-Verlag, 1981.
    [2]
    Lloyd J W. Foundations of Logic Programming. Springer-Verlag, 1987.
    [3]
    Kowalski R A. Predicate logic as a programming language. In Information Processing 74, Jack Rosenfeld (ed.), North-Holland, 1974, pp.569-574. ……….
    • Relative Articles
  • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (13) PDF downloads (1484) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return