Logical programming for the telegram analysis problem

Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


The telegram analysis problem posed by Henderson and Snowdon has been repeatedly taken into account. This paper adds yet another contribution to the literature on this problem. We propose rigorous specification methods, and describe how programs can be derived from BNF to Definite Clause Grammar in Prolog by two different methods. One method is especially useful for large scale problems and has been applied to file manipulation, and the other is applicable to simple problems.

Original languageEnglish
Pages (from-to)9-20
Number of pages12
JournalComputer Languages
Issue number1
Publication statusPublished - 1987


  • Attribute grammar
  • Backus-Naur Form
  • Definite Clause Grammar
  • Formal specification
  • Prolog
  • Telegram analysis problem

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Logical programming for the telegram analysis problem'. Together they form a unique fingerprint.

Cite this