Books
Ada
- Richard Riehle. Ada Distilled. AdaWorks Software Engineering, 2003 — A quick start for experienced programmers who want to learn Ada at the programming level. Keywords: ada95 ada.
Prolog
- J. M. Spivey. An introduction to logic programming through Prolog. Formerly Prentice-Hall, 2008 — A simple introduction to the theory of logic programming, also describes in detail an implementation of a small Prolog dialect called picoProlog by an interpreter written in Pascal. Keywords: prolog logic programming.