Formal specification of interactive languages using definite clause grammars

  • Weidong Dang
Logic Programming For Programming Environments
Part of the Lecture Notes in Computer Science book series (LNCS, volume 348)


Modelling human-computer interaction in interactive computer systems through languages is one the of main approaches for the construction of human-computer interfaces. The work presented here describes first how Definite Clause Grammars can be used to formally specify this type of languages. Compared with previous work using BNF etc, this formalism has more expressive power and is easier for rapid prototyping. With this modelling, the user-machine dialogue design becomes a DCG specification process, and the dialogue management becomes a parsing problem. Detailed examples and our experiences are given to demonstrate the interest of such a modelling.


Rapid Prototype Logic Programming Prolog Program Logic Programming System Interactive Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. Bibliography

  1. [Bergère 88]
    Bergère M., C. Gresse, M. Teguia, W. Dang, "Browser for logic Programming Environment", 4th international conference on software engineering, Toulouse, France, December, 1988.Google Scholar
  2. [Browne 86]
    Browne D.P; "The formal Specification of Adaptive User Interfaces Using Command Language Grammar", Proc. of CHI'86 Conf., Boston, April 1986.Google Scholar
  3. [Buxton 83]
    Buxton W., Lamb M.R., Sherman D., Smith K.C.; "Towards a comprehensive user interface management systems". Computer Graphics, 17, 3 1983, pp 35–42Google Scholar
  4. [Clocksin 81]
    Clocksin W.F., C.S. Mellish, "Programming in Prolog", Springer Verlag, 1981.Google Scholar
  5. [Dang 88]
    Dang W. and Hentinger J., "Advanced logic programming environment", Proceedings of 1988 European Conference and exposition of Sun user, March 1988, Versailles, France.Google Scholar
  6. [Green 85]
    Green M.; "The University of Alberta User Interface Management System", SIGGRAPH 85 Conference Proceedings, San Fransisco July 22–26, Computer Graphics, 19, 3, 1985, pp 205–213Google Scholar
  7. [Jacob 83]
    Jacob R.J.K.; "Using Foraml Specification in the Design of a Human-Computer Interface", CACM Vol. 26, No.4, April 1983.Google Scholar
  8. [Michard 86]
    Michard A.; "Le Système Graphique ASH-Prolog et son Utilisation Pour le Prototypage Rapide d'Interface Homme-Machine", RT-076 INRIA, 1986.Google Scholar
  9. [Olsen 83]
    Olsen D.R.; Dempsey E.P.; "SYNGRAPH: A Graphical User Interface Generator", Computer Graphics, 17,3,1983, pp 43–50Google Scholar
  10. [Pato 84]
    Pato J.N., Reiss S.P., Brown M.H.; "The Brown Workstation Environment", Dept of Comp. Sc., Brown University, Providence, 1984Google Scholar
  11. [Pelhat 87]
    Pelhat S.; "Analyse de l'inférence récursive en Prolog: le système d'aide à la détection et au controle de boucles", Thèse de Doctorat 3ème cycle, Université de Paris sud, Oct. 1987.Google Scholar
  12. [Peraira 80]
    Pereira F.C.N., Wareen D.H.D.; "Definite Clause Grammars for Language Analysis — A survey of Formalism and a Comparison with Augmented Transition Networks", Artificial Intelligence, 13, 1980, pp231–278.Google Scholar
  13. [Reisner 81]
    Reisner P.; "Formal Grammar and Human Factors Design of an Interactive Graphics System", IEEE Tran. on Soft. Engi., Vol. SE-7, No.2, March 1981.Google Scholar
  14. [Roach 83]
    Roach, J.W., Nickson M.; "Formal Specification For Modelling And Developing Human-Computer Interfaces", Proc. CHI'83 Conf. Boston, Dec. 1983.Google Scholar
  15. [Sibert 86]
    Sibert J.L. et al.; "An Object-Oriented User Interface Management System", Sigraph'86, Vol.20, No.4, Dallas, August 1986, pp259–268.Google Scholar
  16. [Takeuchi 86]
    Takeuchi A., Furukawa K.; "Partial Evaluation of Prolog Prolgrams And Its Application To Meta Programming", IFIP, 1986, pp415–420.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Weidong Dang
    • 1
    • 2
  1. 1.LRIUniversité de Paris-sudOrsayFRANCE
  2. 2.Cril S.A.ColombesFRANCE

Personalised recommendations