Contains the reports on the final phase of the FGCS project, showing how the research goals set were achieved. Part of the book is devoted to technical work conducted in the US, Europe and elsewhere in the area of knowledge information processing, logic programming and parallel processing.