| $ | ⊕ 1983 | ↓ ↑ ⊕ Experimental and other | ⊕ United States | Theoretical simple functional programming language | |
| PISTOL | ⊕ 1983 | ↓ ↑ ⊕ Experimental and other | ⊕ United States | Portably Implemented STack Oriented Language | |
| PRIZ | ⊕ 1983 | ↓ ↑ ⊕ Experimental and other | ⊕ Estonia | Logic programming environment | |
| PRL | ⊕ 1983 | ↓ ↑ ⊕ Experimental and other | ⊕ United States | Proof Refinement Logic | |
| Viron | ⊕ 1983 | ↓ ↑ ⊕ Experimental and other | ⊕ United States | Dataflow Programming Environment |