• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

钟宁燕 (钟宁燕.) | 刘椿年 (刘椿年.) | 苗占禄 (苗占禄.)

Indexed by:

CQVIP CSCD

Abstract:

描述了一个基于WAM的高度优化的全Prolog编译系统的设计与实现,本系统是在并行、约束逻辑程序设计等方向上扩充WAM的出发点和基本平台,系统能高效地进行算术表达式计算,支持各种预定义谓词,系统的键壮性和灵活性也令人满意.经过测试系统,比BPU-Prolog快7—8倍,优于国际上某些Prolog编译系统.

Keyword:

Warren抽象机(WAW) Prolog编译 编译优化

Author Community:

  • [ 1 ] 北京工业大学计算机科学系 北京
  • [ 2 ] 100022

Reprint Author's Address:

Email:

Show more details

Related Keywords:

Source :

北京工业大学学报

Year: 1998

Issue: 04

Page: 43-49

Cited Count:

WoS CC Cited Count: 0

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 7

Online/Total:855/10604794
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.