Applied Logic Corporation ( AL/COM ) era 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 a la resolución de problemas". [1]
Al ver la necesidad de tiempo compartido interno, la empresa compró un PDP-6 de Digital Equipment Corporation (DEC) y desarrolló su servicio de tiempo compartido, que entró en funcionamiento en 1966. [1] [2] En 1968, la empresa comenzó a desarrollar "Mathematics Park" en Montgomery Township, Nueva Jersey , "diseñado para proporcionar a los inquilinos un entorno con servicios informáticos y orientación matemática", adyacente al aeropuerto de Princeton . [3] También en 1968 la empresa registró AL/COM como marca comercial para su servicio. [4]
El sistema incluía software y hardware personalizados, y el servicio se comercializaba a nivel nacional a través de una red de asociados. [5]
Según el Plan de Distribuidor 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á potencia informática de AL-COM con un descuento a Applied Logic Corp. y luego, a su vez, la venderá con un margen de beneficio. [6]
A finales de la década de 1960, la empresa desarrolló un sistema llamado SAM (Semi-Automated Mathematics) para demostrar teorías matemáticas sin intervención humana. [7] Un teorema demostrado por el sistema, el "lema de SAM", fue "ampliamente aclamado como la primera contribución de los sistemas de razonamiento automatizados 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 duales KL-10 con planes para un quinto y había ampliado 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ó ventas de 1.200.995 dólares, con una pérdida operativa de 63.456 dólares. [13]
En 1972, AL/COM tenía 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 York. Jersey, Washington, DC y Wilmington, Delaware. [1] El centro de computación estaba ubicado en Mathematics Park en Princeton. [12]
A finales de 1969, AL/COM tenía planes definidos para que CIT Leasing arrendara 2,73 millones de dólares de su equipo en Mathematics Park y estaba considerando otros 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 acogió al Capítulo XI de la ley de quiebras en 1975.
{{cite book}}: CS1 maint: location missing publisher (link)