Hello terra,
I've just heard a presentation today, thank goodness, which concerns your quetion in a way, that is, programing language for representing syntax & semantics used in computational treatment of natural language.
All I can do is to refer you the following literature (which I haven't read) :
Copestake, Ann, Flickinger, Dan, Pollard, aCarl, & Sag, Ivan A. (2003). Minimal recursion semantics: an introduction. unpublished draft under review, available at :
[link]
(with my gratitude for professor G.T.)