Information Processing Language
E874573
AI programming language
high-level programming language
list processing language
programming language
Information Processing Language (IPL) is an early high-level programming language developed in the 1950s for artificial intelligence research, particularly for implementing symbolic reasoning programs.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Information Processing Language canonical | 3 |
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
AI programming language
ⓘ
high-level programming language ⓘ list processing language ⓘ programming language ⓘ |
| abbreviation | IPL NERFINISHED ⓘ |
| countryOfOrigin |
United States of America
ⓘ
surface form:
United States
|
| creator |
Allen Newell
NERFINISHED
ⓘ
Herbert A. Simon NERFINISHED ⓘ J. C. Shaw NERFINISHED ⓘ |
| dataStructure |
list
ⓘ
symbol ⓘ |
| designedFor |
game playing programs
ⓘ
heuristic search ⓘ theorem proving ⓘ |
| developedAt |
Carnegie Institute of Technology
NERFINISHED
ⓘ
RAND Corporation NERFINISHED ⓘ |
| developedFor |
artificial intelligence research
ⓘ
problem-solving programs ⓘ symbolic reasoning programs ⓘ |
| developedInDecade | 1950s ⓘ |
| documentation |
publications by Newell and Simon
ⓘ
technical reports at RAND ⓘ |
| executionModel | interpreted ⓘ |
| field |
artificial intelligence
ⓘ
computer science NERFINISHED ⓘ |
| firstAppeared | 1956 ⓘ |
| historicalSignificance |
early example of list processing
ⓘ
one of the first languages for AI ⓘ |
| influenced |
AI programming techniques
ⓘ
Lisp NERFINISHED ⓘ |
| notableVersion |
IPL-I
NERFINISHED
ⓘ
IPL-II NERFINISHED ⓘ IPL-III NERFINISHED ⓘ IPL-IV NERFINISHED ⓘ |
| paradigm | symbolic programming ⓘ |
| relatedTo |
cognitive simulation
ⓘ
symbolic AI ⓘ |
| status |
historical
ⓘ
no longer widely used ⓘ |
| supportsFeature |
association lists
ⓘ
list processing ⓘ recursive procedures ⓘ stack-based memory management ⓘ |
| usedFor |
General Problem Solver
NERFINISHED
ⓘ
Logic Theorist NERFINISHED ⓘ |
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Logic Theorist
subject surface form:
Logic Theorist