Logic and logic grammars for language processing

Implementing relational database languages in Prolog parsing as a logical constraint satisfaction features, frames and quantifier-free formulae a natural language processing system based on government binding theory restriction grammar - a logic grammar reference resolution in PUNDIT natural language processing in the experimental discourse understanding system DUALS-III logic programming and the analysis of discourse producing co-operative answers in deductive databases grammars bi-directionally through controlled deduction.