ack 
ain’), 
for 
as 
se- 
In 
ble 
S is 
tes 
igh 
5 a 
the 
for 
ver 
ing 
por- 
] to 
ars, 
/F- 
ank 
the 
ces 
og- 
OW- 
lied 
trol 
Kay 
ard 
the 
980, 
Bolef, L.K., Guinness, E.A., and Arvidson, R.E., 
1982, BIRP- A Way to Search Through Image Engi- 
neering Data, IEEE Transactions on Geoscience and 
Remote Sensing GE-20(3):378-383. 
Carr, M.H., 1981, The Surface of Mars, Yale Univer- 
sity Press. 
Clocksin, W.F. and Mellish, C.S., 1984, Programming 
in Prolog, Springer-Verlag, Berlin. 
Cook, A.C., and Jones, C.B., 1990, A Prolog Rule- 
Based System for Cartographic Name Placement, 
Computer Graphics Forum, 9(2):109-126. 
Day, T., Cook, A.C., and Muller, J-P., 1992, Auto- 
mated Digital Topographic Mapping Techniques for 
Mars, International Archives of Photogrammetry and 
Remote Sensing, Vol. XXIX. 
Duxbury, T.C., 1991, An Analytic Model for the Pho- 
bos Surface, Planet. Space Sci. 39(1):355-376. 
Greeley, R., and Batson, R.M., 1991, Planetary Map- 
ping, Cambridge Planetary Science Series 6, Cam- 
bridge University Press. 
Jansma, P.A., 1992, PDS Version 1.0: A Case Study 
in developing a Science Data System, International 
Space year Conference on Earth and Space Science 
Information Systems. 
Muller, J-P., 1989, Real-time stereo matching and its 
role in future mapping systems, Survey and Mapping 
89, 17-21 April 1989, University of Warwick, U.K. 
Muller J-P., Day, T., Cook, A.C., and lliffe, J.C., 
1992, The Global Topography of Mars from Auto- 
mated Image Understanding of Viking Orbiter Data, 
International Archives of Photogrammetry and Re- 
mote Sensing, Vol. XXIX. 
Murray, J.B., Rothery, D.A., Thornhill, G., Muller, J-P., 
Cook, T., Day, T., and lliffe, J.C., 1992, The grooves 
and crater chains of Phobos, Poster presented at the 
23rd Lunar and Planetary Science Conference, John- 
son Space Center, Houston, Texas. 
NASA, 1988, Space Science Sampler, PDS Interac- 
tive Data Interchange, CD-ROM Volume 2. 
NASA, 1992A, Mission to Mars Viking Orbiter images 
of Mars, CD-ROM USA_NASA_PDS_VO_1008. 
NASA, 1992B, Mission to Mars: Digital Image 
Map, Volume 1, Vasitas Borealis Region, CD-ROM 
USA_NASA_PDS_VO_2001, prepared by the USGS. 
NASA, 1992C, Mission to Mars: Digital Terrain 
Model, Volume 7, CD-ROM prepared by the USGS 
(In preparation). 
Slavney, S.H., and Guinness, E.A., 1989, Image Re- 
trieval and Processing System (IRPS) User's Guide, 
McDonnell Center for the Space Sciences, Washing- 
ton University, St. Louis, Missouri. 
Snyder, C.W., and Evans, N., 1981, The final phase 
of the Viking Mission to Mars, Icarus 45:2-24. 
Thornhill, G.D., Rothery, D.A., Murray, J.B., Cook, 
A.C., Day, T., Muller, J-P, and lliffe, J.C., 1992, To- 
pography of Apollinaris Patera and Ma'adim Vallis 
— Automated Extraction of Digital Elevation Models 
submitted to JGR Planets, MSATT (Mars Surface and 
Atmosphere Through Time) special issue. 
793 
Wu, S.S.C., Elassal, A.A., Jordan, R., and Schafer, 
F.J., 1982, Photogrammetric Application of Viking Or- 
bital Photography, Planet. Space Sci., 30(1):45-55 
Wu, S.S.C., 1981, A method of defining topo- 
graphic datums of planetary bodies, Ann. Geophys., 
37(1):147-160 
Wu, S.S.C., and Schafer, F.J., 1984, Mars Con- 
trol Network: American Society of Photogrammetry, 
Technical papers of the 50th annual meeting of the 
American Society of Photogrammetry, 11-16 March 
1984, Washington D.C., pp 456-463. 
Appendix 1 - A selection of MIS Prolog primitives 
base_to_height_ratio(Image_left,Image_right, Ratio). 
controi_point(Serial_no,Lon,Lat,Height_km). 
control_points_in_image(Image,List_of_ctrl_points). 
filter(Image, Filter). 
geology-at-feature(Feature, Geological_unit). 
geology-at-image_center(Image, Geological_unit). 
height.at.image.centre(Image,Height km). 
height.at feature(Feature, Height km). 
image.centre(Image, Longitude, Latitude, Resolution). 
image_containment(Image, Longitude, Latitude). 
image.corner.latitudes(Image, Latitude list). 
image.corner.longitudes (Image, Longitude list). 
number.of images.in database(No). 
overlap(Image1,Image2). 
planet(Image, Planetary-body). 
resolution ratio(Image1,Image2, Ratio). 
solar.alt az(Image,Altitude,Azimuth). 
spacecraft(Image,Orbiter). 
spacecraft-alt_az(Image,Altitude,Azimuth). 
stereo_precision(Image1,Image2, Precision_m). 
stereo.resolution ratio(Image1,Image?2, Ratio). 
sub.solar-lat.lon(Image,Latitude,Longitude). 
sub.spacecraft lat lon(Image, Latitude, Longitude). 
Appendix 2 - A selection of MIS Prolog predicates 
between(A,Num,B). 
description_of_feature(Feature, Description). 
intersection_of(List1,List2,Intersection_list). 
largest.element(List, Maximum). 
list. image.storage.locations(List.of images). 
list. images.containing.feature(Feature). 
list.images_containing_lat_lon(Lat,Lon). 
list_images_on_a_map (Map, Quad). 
member(Element, List). 
reverse(List, Reverse. list). 
smallest.element(List, Minimum). 
sort(List, Sorted list). 
union-of(List1,List2, Union list).