oalib
Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
一种并行prolog通信模式  [PDF]
盛苏华
武汉理工大学学报 , 1994,
Abstract: ?本文提出一种新的进程合作模式。利用数据库在prolog系统中起到的全程作用,基于操作系统的自动机模型思想,在数据库中加入共享资源的形式化说明,通过解释执行机制,实现了prolog的并行通信。
PROLOG语言中的一个逻辑问题
陈有祺
计算机科学 , 1989,
Abstract: 一、问题的提出 PROLOG语言是一种重要的逻辑型程序设计语言,它是以谓词演算为基础的,由于这种语言的独特风格和深远意义,已引起世界各国的广泛重视。但是,它还存在着若干不足之处,其中关于逻辑非(否定)的定义,就存在着严重的问题。
Improving Prolog Programs: Refactoring for Prolog  [PDF]
Tom Schrijvers,Alexander Serebrenik
Computer Science , 2004,
Abstract: Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue is presented listing refactorings classified according to scope. Some of the refactorings have been adapted from the OO-paradigm, while others have been specifically designed for Prolog. Also the discrepancy between intended and operational semantics in Prolog is addressed by some of the refactorings. In addition, ViPReSS, a semi-automatic refactoring browser, is discussed and the experience with applying \vipress to a large Prolog legacy system is reported. Our main conclusion is that refactoring is not only a viable technique in Prolog but also a rather desirable one.
Improving Prolog programs: Refactoring for Prolog  [PDF]
Alexander Serebrenik,Tom Schrijvers,Bart Demoen
Computer Science , 2007,
Abstract: Refactoring is an established technique from the object-oriented (OO) programming community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue is presented listing refactorings classified according to scope. Some of the refactorings have been adapted from the OO-paradigm, while others have been specifically designed for Prolog. The discrepancy between intended and operational semantics in Prolog is also addressed by some of the refactorings. In addition, ViPReSS, a semi-automatic refactoring browser, is discussed and the experience with applying ViPReSS to a large Prolog legacy system is reported. The main conclusion is that refactoring is both a viable technique in Prolog and a rather desirable one.
中国湖南中寒武统至奥陶纪最底部牙形石生物地层  [PDF]
地质学报 , 2004,
Abstract: 自1985年以来,主要在湘西和湘西北地区三条基干剖面采集了总重量逾14t的样品处理了牙形石。证明了时代早于晚寒武世晚期的剐牙形石在地层划分和对比上是有用的。从中寒武统至奥陶系最底部共建立了13个牙形石带。讨论了这些牙形石带与美国西北,加拿大纽芬兰西部以及伊朗地区所建牙形石带的对比问题。自下而上,这13个带为Gapparodusbisulcatus―WestergaardodinabrevidensZone,
The Logic Programming Paradigm and Prolog  [PDF]
Krzysztof R. Apt
Computer Science , 2001,
Abstract: This is a tutorial on logic programming and Prolog appropriate for a course on programming languages for students familiar with imperative programming.
On the Implementation of GNU Prolog  [PDF]
Daniel Diaz,Salvador Abreu,Philippe Codognet
Computer Science , 2010,
Abstract: GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces standalone executables which don't rely on any byte-code emulator or meta-interpreter. Other aspects which stand out include the explicit organization of the Prolog system as a multipass compiler, where intermediate representations are materialized, in Unix compiler tradition. GNU Prolog also includes an extensible and high-performance finite domain constraint solver, integrated with the Prolog language but implemented using independent lower-level mechanisms. This article discusses the main issues involved in designing and implementing GNU Prolog: requirements, system organization, performance and portability issues as well as its position with respect to other Prolog system implementations and the ISO standardization initiative.
Efficient Compression of Prolog Programs  [PDF]
Alin Suciu,Kalman Pusztai
Computer Science , 2006,
Abstract: We propose a special-purpose class of compression algorithms for efficient compression of Prolog programs. It is a dictionary-based compression method, specially designed for the compression of Prolog code, and therefore we name it PCA (Prolog Compression Algorithm). According to the experimental results this method provides better compression than state-of-the-art general-purpose compression algorithms. Since the algorithm works with Prolog syntactic entities (e.g. atoms, terms, etc.) the implementation of a Prolog prototype is straightforward and very easy to use in any Prolog application that needs compression. Although the algorithm is designed for Prolog programs, the idea can be easily applied for the compression of programs written in other (logic) languages.
海桩纲化石在中国的发现:广西寒武系芙蓉统Phyllocystis一新种  [PDF]
韩乃仁,陈贵英
中国科学 地球科学 中国科学 地球科学 , 2008,
Abstract: ?对采自广西果乐寒武系芙蓉统果乐组的新棘皮动物门海桩纲角首类化石进行了研究,建立新种一个:靖西叶果Phyllocystisjingxiensissp.nov..新种特征:个体较小,萼心形,窄而厚的十块边缘板组成封闭的萼框,边缘板没有明显的瘤或刺;上中板和下中板均呈多角形,但上中板略大;轭棒后端肥厚,后半段与M4,M5连接处相接;口缘板三块;桩腕始部约分10节,其上位面盖板基本水平,下位面盖板向两侧倾斜;桩锥锥形;桩腕末端较长,其上见清晰步带沟;靴孔及肛锥模糊显现于萼部上位面右前角及底端.
An Implementation of the Viewing Pipeline in GKS-3D
Wu,Enhua
计算机科学技术学报 , 1988,
Abstract: Following the analysis and evaluation to the viewing pipeline of GKS-3D,a draft proposalof the international standard ofthree-dimensional computer graphics,an implementation of theviewing pipeline is further proposed in the paper and its algorithms are given in detail.Theimplementation is characterized by allowing a possible combination of the view clip andworkstation dip.
Page 1 /100
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.