for first-rate researchers from all over the world. As an aside I mention that institutions of 
this nature would best be placed in an environmentally attractive area. 

As I indicated in the previous section, I strongly believe that with KL1 an important, but 
not final step was taken towards a purely logical machine and software. New directions in 
logic (such as linear logic) will have to be taken into account for doing a next step in the 
same direction. In any case, I am convinced that the problems with conventional software 
production will bring the rest of computer scientists eventually towards the same line of a 
logically oriented computing and knowledge engineering discipline. 


					- 45 -