@article{oai:muroran-it.repo.nii.ac.jp:00008168,
 author = {BABA, Hiroyoshi and 馬場, 啓好 and 杉岡,  一郎 and SUGIOKA, Ichiro},
 journal = {室蘭工業大学研究報告. 理工編, Memoirs of the Muroran Institute of Technology. Science and engineering},
 month = {Nov},
 note = {application/pdf, The objective of this research is analyzing and understanding the deep mechanism of a declarative language, for example Prolog, by adopting time-state, hypothetical and multi-universe inferences in such a symbolic processing. We coded the analysis system in Automated Reasoning Tool (ART) and LISP. The main part of the system is separated into three parts, namely, the first part is ‘syntax tree construction’, the second part is ‘attribute evaluation’ and the final part is ‘viewpoint network simulation’. The input to the system is source codes of Prolog. Then, after passing through inside the system, the result of processing is outputted. The result means the simulated variable at each stage, that are temporary, hypothetically and hierarchy. This paper describes the peculiarity of declarative language, the methodologies for representing incomplete knowledge that related to the programming of our system. Then, about the implementation of the syntax and semantic analyzer, some considerations regarding the system are described.},
 pages = {87--106},
 title = {Semantic Analysis of a Declarative Language Based on Knowledge Representation},
 volume = {41},
 year = {1991},
 yomi = {ババ, ヒロヨシ and スギオカ, イチロウ}
}