This book develops a theory about spatial knowledge, which is significant for cognitive linguistics and AI. The approach evolves in three steps: adoption of a linguistic theory, implementation in a Prolog prototype, and integration of the prototype into a larger system.