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 tiempo compartido interno, la empresa compró un PDP-6 de Digital Equipment Corporation (DEC) y desarrolló su servicio de tiempo compartido, que entró en línea en 1966. [1] [2] En 1968, la empresa comenzó el desarrollo de "Mathematics Park" en Montgomery Township, Nueva Jersey , "diseñado para brindar a los inquilinos un entorno orientado a las matemáticas y con servicios informáticos", adyacente al aeropuerto de Princeton . [3] También en 1968 la empresa registró AL/COM como marca comercial para su servicio. [4]
El sistema involucró software personalizado y hardware personalizado, y el servicio fue comercializado a nivel nacional por una red de asociados. [5]
Bajo 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 distribuidor local de AL-COM. El distribuidor de AL-COM comprará la potencia informática de AL-COM con un descuento de Applied Logic Corp. y luego, a su vez, la venderá con un margen de beneficio. [6]
A fines de la década de 1960, la empresa desarrolló un sistema llamado SAM (Matemática semiautomática) 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 probadores de teoremas interactivos y tuvo una influencia en los probadores 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] Para 1969, la empresa tenía cuatro sistemas DEC PDP-10 dual KL-10 con planes para un quinto, y tenía se expandió a nivel nacional con oficinas en San José , San Diego y San Francisco . [11] La empresa también planeó comercializar sus sistemas de tiempo compartido además de brindar servicios. [12] La empresa reportó ventas por $1,200,995, con una pérdida operativa de $63,456. [13]