Applied Logic Corporation ( AL/COM ) fue una empresa de tiempo compartido en los años 1960 y 1970.
Con sede en Princeton, Nueva Jersey , AL/COM comenzó en 1962 a trabajar en "técnicas matemáticas y sus aplicaciones para la resolución de problemas". [1]
Al ver la necesidad de compartir el tiempo dentro de la empresa, la compañía compró una PDP-6 de Digital Equipment Corporation (DEC) y desarrolló su servicio de compartir el tiempo, que entró en funcionamiento en 1966. [1] [2] En 1968, la compañía comenzó a desarrollar "Mathematics Park" en Montgomery Township, Nueva Jersey , "diseñado para proporcionar a los inquilinos un entorno con servicio informático y orientado a las matemáticas", adyacente al aeropuerto de Princeton . [3] También en 1968, la compañía registró AL/COM como marca comercial para su servicio. [4]
El sistema implicaba tanto software como hardware personalizados, y el servicio se comercializaba a nivel nacional a través de una red de asociados. [5]
En virtud del Plan de Distribuidores de AL-COM, las empresas locales de servicios informáticos, como oficinas de servicios, empresas de programación y software, serán designadas como distribuidores locales de AL-COM. El distribuidor de AL-COM comprará la potencia informática de AL-COM con un descuento a Applied Logic Corp. y luego, a su vez, la venderá con un margen adicional. [6]
A finales de los años 1960, la empresa desarrolló un sistema llamado SAM (Matemáticas Semi-Automáticas) para probar teorías matemáticas sin intervención humana. [7] Un teorema probado por el sistema, "el lema de SAM", fue "ampliamente aclamado como la primera contribución de los sistemas de razonamiento automatizado a las matemáticas". [8] La serie SAM fue uno de los primeros demostradores de teoremas interactivos y tuvo influencia en los demostradores de teoremas posteriores. [9]
En 1965, Applied Logic adquirió un sistema informático DEC PDP-6 , [10] que entró en funcionamiento en enero de 1966. [1] En 1969, la empresa tenía cuatro sistemas DEC PDP-10 dual KL-10 con planes para un quinto, y se había expandido a nivel nacional con oficinas en San José , San Diego y San Francisco . [11] La empresa también planeaba comercializar sus sistemas de tiempo compartido además de proporcionar servicios. [12] La empresa informó de unas ventas de 1.200.995 dólares, con una pérdida operativa de 63.456 dólares. [13]
En 1972, AL/COM contaba con instalaciones de acceso telefónico local en diez ciudades: Boston (Massachusetts), Buffalo (Nueva York), Chicago (Illinois), Indianápolis (Indiana), Montclair (Nueva Jersey), Nueva York (Nueva York), Filadelfia (Pensilvania), Princeton (Nueva Jersey), Washington (D.C.) y Wilmington (Delaware). [1] El centro informático estaba ubicado en Mathematics Park en Princeton. [12]
A fines de 1969, AL/COM tenía planes definidos para que CIT Leasing cediera en arrendamiento 2,73 millones de dólares de su equipo en Mathematics Park y estaba considerando pagar 7,5 millones de dólares más. [14] En 1970, la empresa atravesaba dificultades financieras y negoció un acuerdo para aplazar 1.300.000 dólares de deuda. [15] [16] Applied Logic se declaró en quiebra según el Capítulo XI en 1975.
{{cite book}}: CS1 maint: location missing publisher (link)