3 ms·

https://en.wikipedia.org/wiki/Plankalk%C3%BCl https://en.wikipedia.org/wiki/Plankalk%C3%BCl

• wanderingstan 7y ago
  Even in German, appears the term was closer to "formal system", not "programming language". "Kalkül is the German term for a formal system—as in Hilbert-Kalkül, the original name for the Hilbert-style deduction system—so Plankalkül refers to a formal system for planning.[2]"
  • 1wd 7y ago
    Kalkül is calculus. (E.g. Lambda-Kalkül)
    • guerrilla 7y ago
      A calculus is a formal system.