Taller 6 bimestre 1

 Quinta generación de los computadores

1.

• 1981: se celebra la Conferencia Internacional en la que se perfilan y definen los objetivos y métodos del proyecto.

• 1982: el proyecto se inicia y recibe subvenciones a partes iguales aportadas por sectores de la industria y por parte del gobierno.

• 1985: se concluye el primer hardware desarrollado por el proyecto, conocido como Personal Sequential Inference machine (PSI) y la primera versión del sistema operativo Sequentual Inference Machine Programming Operating System (SIMPOS). SIMPOS fue programado en Kernel Language 0 (KL0), una variante concurrente deProlog¹⁵ con extensiones para la programación orientada a objetos, el metalenguaje ESP. Poco después de las máquinas PSI, fueron desarrolladas las máquinas CHI (Co-operative High-performance Inference machine).

• 1986: se ultima la máquina Delta, basada en bases de datos relacionales.

• 1987: se construye un primer prototipo del hardware llamado Parallel Inference Machine (PIM) usando varias máquinas PSI conectadas en red. El proyecto recibe subvenciones para cinco años más. Se desarrolla una nueva versión del lenguaje propuesto, Kernel Language 1 (KL1) muy similar al "Flat GDC" (Flat Guarded Definite Clauses), influenciada por desarrollos posteriores del Prolog y orientada a la computación paralela. El sistema operativo SIMPOS es re-escrito en KL1 y rebautizado comoParallel Inference Machine Operating System, o PIMOS.

• 1991: concluyen los trabajos en torno a las máquinas PIM.

• 1992: el proyecto es prorrogado un año más a partir del plan original, que concluía este año.

• 1993: finaliza oficialmente el proyecto de la quinta generación de computadoras, si bien para dar a conocer los resultados se inicia un nuevo proyecto de dos años de duración prevista, llamado FGCS Folow-on Project.¹⁶ El código fuente del sistema operativo PIMOS es lanzado bajo licencia de dominio público y el KL1 es portado a sistemas UNIX, dando como resultado el KLIC (KL1 to C compiler).

• 1995: finalizan todas las iniciativas institucionales vinculadas con el proyecto.

2. Hugh de Saram, Programación en micro-PROLOG. Un lenguaje de la 5ª generación, Madrid, 1987, ISBN 84-283-1531-0, traducción de José Manuel Alonso y Francisco Armero del original en inglés; Tohru Moto-Oka y Masaru Kitsuregawa, El ordenador de Quinta Generación, Barcelona, 1986, ISBN 84-344-1056-7, traducción de Juan A. Gutiérrez-Larraya del original en inglés, o Geoffrey Leslie Simons

3.  Computer Technology

     Shunichi Uchida y Kazuhiro Fuchi

4.

5.