Logic Programming Map Overlay · W. Randolph Franklin

Research archive · original page Research.LogicProgrammingMapOverlay · last recorded update 2009-11-14

In the late 1980s, we investigated using declarative, rather than procedural, programming techniques for map overlay.

See also Overlaying Two Maps, which uses C instead of Prolog.

Papers

Original bibliography reference: wf-lpacm-90 (record not found in the supplied bibliographies).

Wm Randolph Franklin and Peter YF Wu. A polygon overlay system in prolog. In Autocarto 8: Proceedings of the Eighth International Symposium on Computer-Assisted Cartography, 97–106. Baltimore, Maryland, 29 Mar – 3 April 1987.

Paper / file · Download BibTeX

BibTeX

@inproceedings{fw-posp-87,
    author = "Franklin, Wm Randolph and Wu, Peter YF",
    title = "A Polygon Overlay System in Prolog",
    booktitle = "Autocarto 8: Proceedings of the Eighth International Symposium on Computer-Assisted Cartography",
    address = "Baltimore, Maryland",
    month = "29 Mar -- 3 April",
    year = "1987",
    pages = "97--106",
    fulltext = "https://wrfranklin.org/p/45-autocarto87-overlay-prolog.pdf",
    href = "\bibhref{45-autocarto87-overlay-prolog}",
    mykey = "overlay",
    keywords = "intersection, artificial intelligence"
}

Wm Randolph Franklin, Margaret Nichols, Sumitro Samaddar, and Peter YF Wu. Experiences with using prolog for geometry. In Proceedings of Graphics Interface'86, Vision Interface'86, 26–31. Vancouver, BC, 26–30 May 1986.

Download BibTeX

BibTeX

@inproceedings{fnsw-eupg-86,
    author = "Franklin, Wm Randolph and Nichols, Margaret and Samaddar, Sumitro and Wu, Peter YF",
    title = "Experiences with Using Prolog for Geometry",
    booktitle = "Proceedings of Graphics Interface'86, Vision Interface'86",
    address = "Vancouver, BC",
    month = "26--30 May",
    year = "1986",
    pages = "26--31",
    keywords = "computer graphics, artificial intelligence"
}

Wm Randolph Franklin, Peter Y.F. Wu, Sumitro Samaddar, and Margaret Nichols. Geometry in prolog. In Tosiyasu Kunii, editor, Advanced Computer Graphics, Proceedings of Computer Graphics Tokyo 86, 71–78. April 1986.

Paper / file · Download BibTeX

BibTeX

@inproceedings{fwsn-gp-86,
    author = "Franklin, Wm Randolph and Wu, Peter Y.F. and Samaddar, Sumitro and Nichols, Margaret",
    editor = "Kunii, Tosiyasu",
    title = "Geometry in Prolog",
    booktitle = "Advanced Computer Graphics, Proceedings of Computer Graphics Tokyo 86",
    month = "April",
    year = "1986",
    pages = "71-78",
    fulltext = "https://wrfranklin.org/p/41-tokyo86-geom-prolog.pdf",
    href = "\bibhref{41-tokyo86-geom-prolog}",
    keywords = "computer graphics, artificial intelligence"
}

Wm Randolph Franklin, Peter Y.F. Wu, Sumitro Samaddar, and Margaret Nichols. Prolog and geometry projects. IEEE Computer Graphics and Applications, pages 46–55, November 1986.

Paper / file · Download BibTeX

BibTeX

@article{fwsn-pgp-86,
    author = "Franklin, Wm Randolph and Wu, Peter Y.F. and Samaddar, Sumitro and Nichols, Margaret",
    title = "Prolog and Geometry Projects",
    journal = "IEEE Computer Graphics and Applications",
    month = "November",
    year = "1986",
    pages = "46--55",
    fulltext = "https://wrfranklin.org/p/44-cga86-prolog.pdf",
    href = "\bibhref{44-cga86-prolog}",
    keywords = "computer graphics, artificial intelligence"
}

Paper.

Wm Randolph Franklin. Computational geometry in prolog. In Proceedings of the NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics, volume 17 of NATO ASI Series F, pages 737–749. Springer-Verlag, Ilkley, Yorkshire, England, 30 March – 12 April 1985.

Paper / file · Download BibTeX

BibTeX

@incollection{f-cgp-85,
    author = "Franklin, Wm Randolph",
    title = "Computational Geometry in Prolog",
    booktitle = "Proceedings of the {NATO} Advanced Study Institute on Fundamental Algorithms for Computer Graphics",
    address = "Ilkley, Yorkshire, England",
    month = "30 March -- 12 April",
    year = "1985",
    publisher = "Springer-Verlag",
    series = "{NATO} {ASI} Series F",
    volume = "17",
    pages = "737--749",
    fulltext = "https://wrfranklin.org/p/33-nato85-prolog.pdf",
    href = "\bibhref{33-nato85-prolog}",
    keywords = "artificial intelligence"
}

Paper.

PhD graduate

Peter Yick Fai Wu. Polygon Overlay in Prolog. PhD thesis, Electrical, Computer, and Systems Engineering Dept., Rensselaer Polytechnic Institute, 1987.

Paper / file · Download BibTeX

BibTeX

@Phdthesis{wu-phd,
    author = "Wu, Peter Yick Fai",
    title = "Polygon Overlay in Prolog",
    school = "Electrical, Computer, and Systems Engineering Dept., Rensselaer Polytechnic Institute",
    mykey = "theses over",
    fulltext = "https://wrfranklin.org/theses/wu-phd.pdf",
    year = "1987"
}