FGCS Project Evaluation Report
Sten-Ake Tärnlund
3 SUMMARY OF RESULTS
I will sum up my evaluation m six parts
3.1 Research
Principal results:
- the PIM prototypes and their architectures;
- performance of PIM of 100 MLIPS and potential for more;
- concurrent languages, GHC and KL1, and their methodology;
- logic programming methodology on: concurrent software, constraint
- programming, partial evaluation, meta programming, and program
transformation;
- several interesting applications e.g., legal reasoning.
A superb result, and an outstanding achievement. Consequently, I would rank the
ICOT work on par with the best in the world.
The successful advance and experiments of the FGCS project validates some es-
sential aspects of the logic programming paradigm - declarative logic programming for
(economical) software development and parallel inference machines for efficient com-
puting.
3.2 Research education and training
Several of the researchers work for Japanese companies. They have been visiting
researchers at ICOT and will return to their companies. This leads to a large scale
training of researchers at the Japanese companies that should yield significant spin-off
effects in the future.
3.3 Project planning
ICOT has had a 10-year working period. This may impose an earlier commitment
to a research idea than some researchers may want, on the other hand a commitment
gives the opportunity to come up with concrete prototypes e.g., a PIM.
3.4 Scientific responses
We all know the impact of the FGCS project around the world. Japan has given a
distinguished mark on computer science research in general and logic programming in
particular. I shall only mention a few responses that I have seen: ESPRIT in Europe;
MCC and the strategic computer project in the US; and in Sweden research programs
- 131 -