Prolog as a Model Search Engine for Data Analysis

  • Tatsuo Otsu
Conference paper


Prolog is a logic programming language for symbolic manipulation. Prolog is able to perform universal pattern matching, which is called unification, and backtracking search by indeterministic execution. These features enable simple description of complex statistical model structures and manipulations. I will show some examples of Prolog applications in statistical model handling. They show potential importance of symbolic manipulation in statistical computation.


Direct Acyclic Graph Symbolic Manipulation Covariance Structure Analysis Prolog System Complex Statistical Model 
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.


  1. Andersson, S. A., Madigan, D. and Perlman, M. D. (1996). A characterisation of Markov equivalence classes for acyclic digraphs.Annals of Statistics, 23, 505–541.Google Scholar
  2. Beaton, A. E. (1964). The use of special matrix operations in statistical calculus. Research Bulletin RB-64–51, Educational Testing Service, Princeton NJ.Google Scholar
  3. Bratko,I. (2001). Prolog: Programming for Artificial Intelligence 3rd ed. Addison-Wesley.Google Scholar
  4. Cabeza, D. and Hermenegildo, N.I. (2001). The PilloW Web Programming Library. School of Computer Science, Technical University of Madrid.Google Scholar
  5. Flach,P. (1994). Simply Logical. Wiley.Google Scholar
  6. Lee, S. and Hershberger, S. (1990). A simple rule for generating equivalent models in covariance structure modeling. Multivariate Behavioral Research, 25, 313–334.CrossRefGoogle Scholar
  7. Luijben, T. C. W. (1991). Equivalent models in covariance structure analysis, Psychometrika, 56, 653–665.MathSciNetCrossRefMATHGoogle Scholar
  8. MacCallum, R. C., Wegener, D. T., Uchino, B.N., and Fabrigar,L. R. (1993). The problem of equivalent models in applications of covariance structure analysis, Psychological Bulletin, 114, 186–199.Google Scholar
  9. Fryndenberg,M. (1990). The chain graph Markov property, Scandinavian Journal of Statistics, 17, 333–353.Google Scholar
  10. Ihaka,R. and ZGentleman,R. (1996). R: A language for data analysis and graphics, Journal of Computational and Graphical Statistics, 5, 299–314.Google Scholar
  11. Mayekawa,S. (1994). Equivalent path models in linear structural equation models. Behaviormetrika, 21, 79–96.CrossRefGoogle Scholar
  12. McCullagh,P. and Nelder,J.A. (1989) Generalized Linear Models 2nd ed. Chapman and Hall.Google Scholar
  13. Minami, H., Mizuta, M. and Sato, Y. (1994). Multivariate analysis support system with a hypothesis reasoning mechanism (in Japanese). Japanese Journal of Applied Statistics, 23, 63–79.CrossRefGoogle Scholar
  14. Nakano,J., Yamamoto,Y. and Okada,M. (1990). Knowledge base multiple regression analysis system (in Japanese). Japanese Journal of Applied Statistics, 20, 11–23.CrossRefGoogle Scholar
  15. O’Keefe (1990). The Craft of Prolog,MIT Press.Google Scholar
  16. Pearl,J. (1995). Causal diagrams for empirical research, (with discussions), Biometrika. 82, 669–710.MathSciNetCrossRefMATHGoogle Scholar
  17. Pearl,J. (2000). Causality: Models, Reasoning and Inference,Cambridge UP.Google Scholar
  18. The Programming Systems Group (1995). SICStus Prolog User’s Manual, Release 3, Kista,Sweden: Swedish Institute of Computer Science.Google Scholar
  19. Schafer,J.L. (1997). Analysis of Incomplete Multivariate Data. Chapman and Hall. Spirtes,P., Glymour,C. and Scheines,R. (1993). Causation, Prediction, and Search, Springer Lecture Notes in Statistics81,Springer.Google Scholar
  20. Stelzl,I. (1986). Changing a causal hypothesis without changing fit: some rules for generating equivalent path models. Multivariate Behavioral Research, 21, 309–331.CrossRefGoogle Scholar
  21. Sterling,L. and Shapiro, E. (1994). The Art of Prolog, 2nd ed.,MIT Press.Google Scholar
  22. Verma,T. and Pearl,J. (1991). Equivalence and synthesis of causal models. in Bonissone,P.P., Henrion,M., Kanal,L.N., and Lemmer,J.F. (eds.), (1991). Uncertainty in Artificial Intelligence 6, Elsevier Science. 225–268.Google Scholar
  23. Wielemaker,J. (2001). SWI-Prolog.4.0.8 Reference Manual. Dept. of Social Science Infomatics, University of Amsterdam.Google Scholar

Copyright information

© Springer Japan 2002

Authors and Affiliations

  • Tatsuo Otsu
    • 1
  1. 1.Department of Behavioral ScienceHokkaido UniversitySapporoJapan

Personalised recommendations