[Attempto] Tool to transform DDR into 'textbook' FOL

[Norbert E. Fuchs]

On 12 Jul 2010, at 14:36, Gabriele Kahlout wrote:

> It seems there is no known tool to transform DRS/prolog into 'regular' FOL?

In section 1.4 of the second volume of 

Patrick Blackburn and Johan Bos
Representation and Inference for Natural Language 
A First Course in Computational Semantics 
Working with Discourse Representation Theory 
An Advanced Course in Computational Semantics

http://homepages.inf.ed.ac.uk/jbos/comsem/

you find the Prolog code for a translator DRS -> FOL.

   --- nef