Prolog for Symbolic Image Analysis



The central theme of this paper is the use of non-numerical methods for image analysis. It is proposed that the logic programming language Prolog is a suitable tool for this purpose. A Prolog program consists of a set of facts and rules. New facts can be deduced by the inbuilt inference mechanism. In contrast to classical programming it is necessary to consider the objects of the domain of investigation and the relationships between them. A set of rules is derived heuristically for the classification of myocardial scintigrams. Fuzzy logic and probability theory are then applied in a Prolog program to the problem of prediction of coronary artery anatomy from a given scintigraphic pattern. A generative grammar has been written in Prolog to either analyse or produce coded scintigraphic patterns.


Exclusion Zone Generative Grammar Prolog Program Logic Programming Language Radionuclide Uptake 
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. 1.
    Colmerauer A : Prolog, langage de 11 intelligence artificielle. La Recherche, 1984, n° 158.Google Scholar
  2. 2.
    Clocksin WF, Mellish CS: Programming in Prolog, Springer Verlag, 1984.Google Scholar
  3. 3.
    Mamdani EH, Efstathiou HJ: Logic and PRUF - A Survey, IFAC Symposium, Marseille, France, 19–21 July 1983Google Scholar
  4. 4.
    Szolovits P, Pauker SG: Categorical and probabilistic reasoning in medical diagnosis, Artificial Intelligence, 11 115–144, 1978Google Scholar
  5. 5.
    Thomas AJ : Expert systems for diagnostic imaging in digital imaging. Clinical advances in Nuclear Medicine, The Society of Nuclear Medicine,1982Google Scholar
  6. 6.
    Zadeh LA :Fuzzy Sets, Inf. and Cont. 8:338–353, 1965Google Scholar
  7. 7.
    Zadeh LA : The role of fuzzy logic in the management of uncertainty in expert systems. Memo. n° UCB/ERL M83/41. Electronics research lab.,College of Engineering,Univ.of California,BerkeleyGoogle Scholar

Copyright information

© Martinus Nijhoff Publishers, Dordrecht 1986

Authors and Affiliations

  1. 1.Department of Nuclear Medicine and UltrasoundUniversity Hospital TrousseauToursFrance

Personalised recommendations