CONSTRUCTION OF A FAULT TREE USING PROLOG.

被引：0
|
作者：
Fukuda, Shuichi [1 ]
机构：
[1] Osaka Univ, Welding Research Inst,, Ibaraki, Jpn, Osaka Univ, Welding Research Inst, Ibaraki, Jpn
来源：
Transactions of JWRI (Japanese Welding Research Institute) | 1984年 / 13卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
4
引用
收藏
页码：115 / 119
相关论文
共 50 条
  • [1] TOUR OF PROLOG.
    Cortesi, David E.
    1985, (10):
  • [2] LOGIC AND KNOWLEDGE REPRESENTATION IN PROLOG.
    Butrick, Richard
    Dr. Dobb's journal of software tools for the professional programmer, 1987, 12 (07): : 30 - 32
  • [3] COMPILING AND ANALYZING FORTH IN PROLOG.
    Dixon, R.D.
    Hemmendinger, David
    The Journal of Forth application and research, 1987, 4 (04): : 535 - 554
  • [4] A Declarative Semantics for Bousi∼Prolog.
    Julian-Iranzo, Pascual
    Rubio-Manzano, Clemente
    PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 149 - 160
  • [5] GKS BASED GRAPHIS PROGRAMMING IN PROLOG.
    Huebner, W.
    Markov, Z.I.
    1600, (05):
  • [6] PROCEDURALLY ORIENTED PROGRAMMING TECHNIQUES IN PROLOG.
    Munakata, Toshinori
    IEEE Expert, 1986, 1 (02): : 41 - 47
  • [7] ASSERT, RETRACT AND EXTERNAL PROCESSES IN PROLOG.
    Colomb, Robert M.
    Software - Practice and Experience, 1988, 18 (03) : 205 - 220
  • [8] Artificial Intelligence Techniques in Prolog. Yoav Shoham
    Mark Lee
    Artificial Intelligence Review, 1999, 13 (2) : 173 - 174
  • [9] ATTRIBUTE GRAMMAR WITH COMMON ATTRIBUTES AND ITS EVALUATOR IN PROLOG.
    Feng, An
    Sugiyama, Yuji
    Fujii, Mamoru
    Torii, Koji
    Systems and Computers in Japan, 1988, 19 (06): : 97 - 107
  • [10] VERIFICATION OF CONCURRENT SYSTEMS WITH TEMPORAL LOGICS IN PROLOG.
    Bosco, Piergiorgio
    Giandonato, Giuseppe
    Giovannetti, Elio
    CSELT Technical Reports, 1984, 12 (06): : 557 - 563
12345