Cognitive and formal semantics of Prolog. Unpublished MS (1997)

by J H Andrews