This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (August 2013)
Applied Logic Corporation (AL/COM) was a time-sharing company in the 1960s and 70s.
|Founded||1962Princeton, New Jerseyin|
|Richard M. Colgate (president)|
Headquartered in Princeton, New Jersey, AL/COM started in 1962 working on "mathematical techniques and their applications to problem-solving."
Seeing the need for in-house time sharing the company bought a Digital Equipment Corporation (DEC) PDP-6 and developed its time sharing service, which came on-line in 1966. In 1968 the company began development of "Mathematics Park" in Montgomery Township, New Jersey, "designed to provide tenants with a computer-serviced and mathematically-oriented environment," adjacent to the Princeton Airport. Also in 1968 the company registered AL/COM as a trademark for its service.
The system involved both custom software and custom hardware, and the service was marketed nationally by a network of associates.
Under the AL-COM Distributor Plan, local computer service firms such as service bureaus, programming, and software firms will be designated as the local AL-COM distributor. The AL-COM distributor will purchase AL-COM computing power at a discount from the Applied Logic Corp., and then in turn sell it at a mark-up.
In the late 1960s the company developed a system called SAM (Semi-Automated Mathematics) for proving mathematical theories without human intervention. A theorem proved by the system, "SAM's lemma", was "widely hailed as the first contribution of automated reasoning systems to mathematics." The SAM series was one of the first interactive theorem provers and had an influence on subsequent theorem provers.
In 1965 Applied logic acquired a DEC PDP-6 computer system, which became operation in January, 1966. By 1969 the company had four DEC PDP-10 dual KL-10 systems with plans for a fifth, and had expanded nationwide with offices in San Jose, San Diego, and San Francisco. The company also planned to market its time sharing systems in addition to providing services. The company reported sales of $1,200,995, with an operational loss of $63,456.
By 1972 AL/COM had local dial-up facilities in ten cities: Boston, Massachusetts, Buffalo, New York, Chicago, Illinois, Indianapolis, Indiana, Montclair, New Jersey, New York, New York, Philadelphia, Pennsylvania, Princeton, New Jersey, Washington, DC, and Wilmington, Delaware. The computer center was located in Mathematics Park in Princeton.
By late 1969 AL/COM had definite plans for CIT Leasing to leaseback $2.73 million USD of their equipment at Mathematics Park and was considering an additional $7.5 million more. By 1970 the company was in financial difficulty and negotiated an agreement to defer $1,300,000 of debt. Applied Logic filed for Chapter XI bankruptcy in 1975.
- ^ a b c d Auerbach Publishers (1972). Auerbach Guide to Time Sharing (PDF). Philadelphia, PA. p. 86.
- ^ "Center Offers Shared Use of Computer". The Central New Jersey Home News. 12 Jan 1966. Retrieved Dec 21, 2021.
- ^ "Construction Underway for Mathematics Park". The Central New Jersey Home News. 27 Jan 1969. Retrieved Dec 21, 2021.
- ^ "Legal Force Trademarkia". Retrieved May 25, 2013.
- ^ "Time Sharing Users: What's an AL/COM (advertisement)". Hartford Courant. 16 Mar 1969. Retrieved Dec 21, 2021.
- ^ "New Computer Plan Unveiled". The Central New Jersey Home News. 2 May 1968.
- ^ Krantz, Steven G. (2011). The Proof is in the Pudding: The Changing Nature of Mathematical Proof. Springer Science & Business Media. p. 122. ISBN 978-0-387-48908-7. Retrieved Jan 9, 2020.
- ^ MacKenzie, Donald A. (2004). Mechanizing Proof: Computing, Risk, and Trust. MIT Press. p. 89. ISBN 0-262-13393-8. Retrieved Jan 9, 2020.
- ^ Harrison, John (2007). "A Short Survey of Automated Reasoning". International Conference on Algebraic Biology. Lecture Notes in Computer Science. Springer. LNCS 4545: 334–349. doi:10.1007/978-3-540-73433-8_24. ISBN 978-3-540-73432-1. Retrieved 24 January 2020.
- ^ "Decuscope" (PDF). Decuscope. 4 (1). January 1965. Retrieved Jan 9, 2020.
- ^ "First Dual AL-10 Activated in AL/Com's T/S Network". ComputerWorld. September 10, 1969. Retrieved March 31, 2022.
- ^ a b "APPLIED LOGIC EXPANDS". Town Topics. November 20, 1969. Retrieved March 31, 2022.
- ^ "EARNINGS REPORTED". Town Topics. June 12, 1969. Retrieved March 31, 2022.
- ^ "Lease Arrangement Set By C.I.T. and Applied Logic". Town Topics. November 13, 1969. Retrieved March 31, 2022.
- ^ "Applied Logic Lays Off 40% of Workers, All in R&D". Computer World. May 13, 1970. Retrieved March 31, 2022.
- ^ "In re APPLIED LOGIC CORPORATION, Bankrupt. NEW JERSEY NATIONAL BANK, Plaintiff-Appellant, v. Daniel GUTTERMAN, as Trustee of Applied Logic Corporation, Bankrupt, Defendant-Appellee". April 27, 1978. Archived from the original on May 14, 2010. Retrieved May 25, 2013.
- A woman adjusting an Applied Logic Corporation (AL/COM) time sharing AL-10 computer system (photo at Getty Images)
- CRT-AIDED SEMI-AUTOMATED MATHEMATICS SAM Final Report
- Applied Logic Publications at Bitsavers