Symbolic reasoning about myocardial scintigrams in PROLOG

The use of computer-assisted diagnosis in cardiac perfusion nuclear medicine studies: a review (Part 3)

Computer-assisted diagnosis (CAID) is commonly used to evaluate cardiac nuclear medicine studies such as thallium perfusion scans. Part 1 of this series (Journal of Digital Imaging, 5:209-222, 1992) reviewed the basic theory underlying CAID in nuclear medicine and its use in planar thallium imaging. Part 2 discussed the application of CAID to SPECT perfusion studies (Journal of Digital Imaging, 6:1-15, 1993). This article reviews new variations of CAID programs for SPECT imaging and the application of expert systems and neural networks to CAID of nuclear medicine perfusion studies.

Programming medical rosters in Prolog

The Logic Programming language, Prolog, is used to schedule the medical duty roster for a French psychiatric hospital. Each of the seventeen doctors participating is asked to fill in a form indicating his preferences (prefers, can or cannot) for the slots (days and weekends) of a roster covering a period of three months. An algorithm has been designed which seems to produce an optimal solution, in the sense that as many participants as possible are satisfied. First of all, the program fills in the 'preferred' slots, then the 'possible' slots and finally the 'not-impossible' slots. A number of constraints are applied: two consecutive roster slots are not allowed and the number of allocations is limited for each person. If more than one person is a candidate for a given slot at a given preference level, then a probabilistic conflict resolution procedure is put into action. Prolog, which is modular and easily modifiable, seems, with its declarative interpretation and backtracking mechanism, to be well adapted to the solution of such problems.