Covington, Nute, Schmitz, and Goodman (1988) wrote a program which takes natural language sentences as input, represents them using Discourse Representation Structures, then translates the structures into Prolog clauses. The ...