• Articles • Previous Articles     Next Articles

Renaming a Set of Non-Horn Clauses

NIE Xumin; GUO Qing;   

  1. 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;
  • Online:2000-09-10 Published:2000-09-10

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…

Key words: cognitive radio; joint power and frequency allocation; power aware scheduling; primary and secondary users; ultra wideband;



[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. ……….
[1] Yan-Chao Zhao, Jie Wu, Sang-Lu Lu. Throughput Optimization in Cognitive Radio Networks Ensembling Physical Layer Measurement [J]. , 2015, 30(6): 1290-1305.
[2] Chittabrata Ghosh, Bin Xie, and Dharma P. Agrawal. ROPAS: Cross-Layer Cognitive Architecture for Mobile UWB Networks [J]. , 2008, 23(3): 413-425 .
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] Zhang Cui; Zhao Qinping; Xu Jiafu;. Kernel Language KLND[J]. , 1986, 1(3): 65 -79 .
[2] Lu Xuemiao;. On the Complexity of Induction of Structural Descriptions[J]. , 1987, 2(1): 12 -21 .
[3] Zhu Mingyuan;. Two Congruent Semantics for Prolog with CUT[J]. , 1990, 5(1): 82 -91 .
[4] Yang Hongqing;. A Characterization of Achievable Patterns of the MN-Puzzle Problem[J]. , 1990, 5(3): 266 -274 .
[5] Han Jianchao; Shi Zhongzhi;. Formalizing Default Reasoning[J]. , 1990, 5(4): 374 -378 .
[6] Wang Nengbin; Liu Haiqing;. An Intelligent Tool to Support Requirements Analysis and Conceptual Design of Database Design[J]. , 1991, 6(2): 153 -160 .
[7] Shen Xubang; Ma Guangti; Chen Lan;. An Inference Microprocessor Design[J]. , 1991, 6(3): 209 -213 .
[8] Li Weihua; Yuan Youguang;. Error Recovery in a Real-Time Multiprocessor System[J]. , 1992, 7(1): 83 -87 .
[9] Lin Shan;. Using a Student Model to Improve Explanation in an ITS[J]. , 1992, 7(1): 92 -96 .
[10] Fei Xianglin; Liao Lei; Wang Hezhen; Wang Chengzao;. Structured Development Environment Based on the Object-Oriented Concepts[J]. , 1992, 7(3): 193 -201 .

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
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
 
  Copyright ©2015 JCST, All Rights Reserved