Applied Logic Corporation
| Company type | Private |
|---|---|
| Industry | Computer time-sharing services |
| Founded | 1962 |
| Defunct | 1975 |
| Headquarters | Princeton, New Jersey , United States |
Area served | United States |
| Products | Time-sharing computer services, proprietary hardware and software, SAM automated theorem proving system |
Applied Logic Corporation (abbreviated as AL/COM) was a time-sharing enterprise operating during the 1960s and 1970s, with its main office situated in Princeton, New Jersey. Established in 1962, the company initially concentrated on mathematical problem-solving methodologies.
To facilitate its offerings, AL/COM procured a Digital Equipment Corporation (DEC) PDP-6 computer, initiating its time-sharing operations in 1966. In 1968, the firm began constructing "Mathematics Park" in Montgomery Township, New Jersey, a complex intended to provide tenants with a computer-supported, math-focused workspace near Princeton Airport. That same year, the trademark AL/COM was officially registered by the company.
The AL/COM platform integrated proprietary hardware and software components and was distributed nationwide through a network of regional dealers who acquired computing capacity at discounted rates for resale. By 1969, AL/COM managed four DEC PDP-10 dual systems and planned further growth, maintaining offices in San Jose, San Diego, and San Francisco. The company’s strategy included promoting both its time-sharing services and hardware systems.
From a financial perspective, AL/COM recorded revenues of $1.2 million in 1969 but incurred an operational deficit of $63,456. By 1972, it had established local dial-up connectivity across ten major American cities, with its central computing facility located at Mathematics Park.
During the late 1960s, AL/COM developed SAM (Semi-Automated Mathematics), an early system for automated theorem proving that played a role in advancing automated reasoning technologies.
Toward the end of 1969, AL/COM arranged for CIT Leasing to lease back $2.73 million worth of equipment at Mathematics Park and evaluated an additional $7.5 million leasing option. Nevertheless, by 1970 the company encountered financial challenges, negotiating to postpone $1.3 million in debt payments and reducing its research and development staff by 40%. Ultimately, Applied Logic filed for Chapter XI bankruptcy protection in 1975.
External links
- Short description with empty Wikidata description
- American companies established in 1962
- American companies disestablished in 1975
- Companies based in Princeton, New Jersey
- Computer companies established in 1962
- Computer companies disestablished in 1975
- Defunct companies based in New Jersey
- Defunct computer companies of the United States
- Defunct computer hardware companies
- Time-sharing companies