| PLANNER | ⊕ 1967 | ↓ ↑ ⊕ String and List Processing | Goal description | ⊕ United States | Goal-direct LISP dialect |
| PSL | ⊕ 1970 | ↓ ↑ ⊕ Experimental and other | Goal description | ⊕ United States | Problem Statement Language |
| QA3 | ⊕ 1967 | ↓ ↑ ⊕ Specialised Languages | Goal description | ⊕ United States | Question Answering |
| QA4 | ⊕ 1967 | ↓ ↑ ⊕ String and List Processing | Goal description | ⊕ United States | Question Answering |
| REF-ARF | ⊕ 1970 | ↓ ↑ ⊕ Specialised Languages | Goal description | ⊕ United States | |
| Strips | ⊕ 1969 | ↓ ↑ ⊕ Specialised Languages | Goal description | ⊕ United States | Extra-logical problem solver |
| VIVID | ⊕ 1987 | ↓ ↑ ⊕ Experimental and other | Goal description | ⊕ United States |