Thanks for your information. I have been reviewing Prolog for the past few days. It seems so attractive for language parsing, but the modularity and extension will indeed be an issue.
Mei-Tien