English  |  正體中文  |  简体中文  |  Items with full text/Total items : 54367/62174 (87%)
Visitors : 15177018      Online Users : 56
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTHU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version
    National Tsing Hua University Institutional Repository > 科技管理學院  > 服務科學研究所 > 期刊論文 >  Unification Without Occurs Check on a Cellular Tree

    Please use this identifier to cite or link to this item: http://nthur.lib.nthu.edu.tw/dspace/handle/987654321/84793

    Title: Unification Without Occurs Check on a Cellular Tree
    Authors: Daniel J. Buehrer;Fu-ren Lin
    教師: 林福仁
    Date: 1994
    Publisher: 中國電機工程會
    Relation: Journal of the Chinese Institute of Electrical Engineering, The Chinese Institute of Electrical Engineering, 1(4), Pages 225-245, 1994
    Keywords: unification
    cellular tree
    and/or connection graph
    occurs check
    Abstract: This paper presents the design of a special‐purpose cellular tree architecture for the unification algorithm. The unification algorithm either finds the most general substitution which makes a set of terms identical, or else returns failure. The resulting substitution is permitted to contain loops. Many of the more recent pure logic programs make use of such recursive substitutions to store data structures which are accessed in a lazy fashion. So lack of such an occurs check is intentional. The algorithm involves only integer comparison and shifting operations between adjacent cells in a data‐driven computation mode. The physical design of a VLSI chip, therefore, should be quite easy. Each unification problem runs on the cellular tree in worst‐case time O (n · logn), where n is the number of input symbols. Many unification problems can be run simultaneously on the same chip with no slowdown.
    URI: www.ciee.org.tw/
    Appears in Collections:[服務科學研究所] 期刊論文
    [高階經營管理碩士在職專班] 期刊論文

    Files in This Item:

    File Description SizeFormat


    SFX Query


    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback