Peter G. Kretzman, Cold Spring Harbor High School,
Huntington, New York
PROCAL 10/71 is a conversational symbolic logic programming
system that uses the Lukasiewiczian notation and is
especially oriented towards solving logical problems. Using
the Special notation, the user may input his assumed premises
and then see if his proposed conclusion is valid or invalid,
based on those premises.
| Minimum Hardware: | 4K PDP-8, 8/I, 8/L or 8/E;
ASR33
|
| Storage Requirement: | 0-1777, rest of core space if
buffer and pushdown
|
| Restrictions: | Six variables limit in logical
expression
|
| Source Language: | PAL-D
|
| Catalog:
| July 1973
|