Applied Logic Corporation
 | |
| Industri | Tidsdelningsdatorer _ |
|---|---|
| Grundad | 1962 i Princeton, New Jersey |
| Nedlagd | 1975 |
| Öde | Konkurs |
Nyckelpersoner |
Richard M. Colgate (president) |
Applied Logic Corporation (AL/COM) var ett tidsdelningsföretag på 1960- och 70-talen.
Med huvudkontor i Princeton, New Jersey, började AL/COM 1962 arbeta med "matematiska tekniker och deras tillämpningar för problemlösning."
Eftersom företaget såg behovet av intern tidsdelning köpte företaget en Digital Equipment Corporation (DEC) PDP-6 och utvecklade sin tidsdelningstjänst, som kom online 1966. 1968 började företaget utveckla "Mathematics Park" i Montgomery Township, New Jersey , "designad för att ge hyresgästerna en datorbetjänad och matematiskt orienterad miljö," intill Princeton Airport . Även 1968 registrerade företaget AL/COM som varumärke för sin tjänst.
Systemet involverade både anpassad mjukvara och anpassad hårdvara, och tjänsten marknadsfördes nationellt av ett nätverk av medarbetare.
Enligt AL-COM-distributörsplanen kommer lokala datorserviceföretag som servicebyråer, programmerings- och mjukvaruföretag att utses som den lokala AL-COM-distributören. AL-COM-distributören kommer att köpa AL-COM-datorkraft till en rabatt från Applied Logic Corp., och sedan i sin tur sälja den till ett påslag.
I slutet av 1960-talet utvecklade företaget ett system kallat SAM (Semi-Automated Mathematics) för att bevisa matematiska teorier utan mänsklig inblandning. Ett teorem som bevisats av systemet, "SAM:s lemma", hyllades allmänt som det första bidraget från automatiserade resonemangssystem till matematiken. SAM-serien var en av de första interaktiva teoremprovarna och hade inflytande på efterföljande teoremprovare.
1965 förvärvade Applied logic ett DEC PDP-6 datorsystem, som togs i drift i januari 1966. År 1969 hade företaget fyra DEC PDP-10 dubbla KL-10 system med planer på ett femte, och hade expanderat rikstäckande med kontor i San Jose , San Diego och San Francisco . Företaget planerade också att marknadsföra sina tidsdelningssystem utöver att tillhandahålla tjänster. Företaget redovisade en försäljning på 1 200 995 USD, med en operativ förlust på 63 456 USD.
1972 hade AL/COM lokala uppringningsanläggningar i tio städer: Boston, Massachusetts, Buffalo, New York, Chicago, Illinois, Indianapolis, Indiana, Montclair, New Jersey, New York, New York, Philadelphia, Pennsylvania, Princeton, New Jersey, Washington, DC och Wilmington, Delaware. Datorcentret låg i Mathematics Park i Princeton.
I slutet av 1969 hade AL/COM bestämda planer för CIT Leasing att hyra tillbaka 2,73 miljoner USD av sin utrustning på Mathematics Park och övervägde ytterligare 7,5 miljoner USD till. År 1970 var företaget i ekonomiska svårigheter och förhandlade fram ett avtal om att skjuta upp 1 300 000 dollar i skuld. Applied Logic ansökte om Chapter XI konkurs 1975.