Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language
Explore this paper's citation graph
Summary
Bringsjord has invented a new computer programming language, Reason, one firmly based in the declarative programming paradigm, and specifically aligned with the core skills constituting clear thinking, and offers the intimate link in question to all who would genuinely use it.
- Type
- article
- Published
- 2008-06-24
- Cited by
- 0
- References
- 43
- OpenAlex
- https://openalex.org/W70560983
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:7767143
Keywords
Fifth-generation programming language, Computer science, Programming language, Logic programming, Functional logic programming
References
- Efficacious Logic Instruction: People Are Not Irremediablly Poor Deductive Reasoners
- Automated reasoning (2nd ed.): introduction and applications
- Denotational proof languages
- Structure and interpretation of computer programs
- Developing Thinking Skills with Computers
- Symbolic logic : an introduction
- Thinking things through
- Language, Proof and Logic
- The Basic Works of Aristotle
- In defense of logical minds
- Logic and Artificial Intelligence: Divorced, Still Married, Separated ...?
- The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial
- Common LISP: An Interactive Approach
- Human memory and cognition
- Java(TM) Programming Language, The (4th Edition)
- Cognitive Carpentry: A Blueprint for How to Build a Person
- Computability, complexity, and languages - fundamentals of theoretical computer science
- Automated Reasoning: Introduction and Applications
- Programming in Prolog. Using the ISO Standard. by William F. Clocksin, Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8, xiii+299 pages
- Logo as a prelude to LISP: some surprising results
Cited by
No citing papers recorded for this paper.
Related papers
- The Programming Language as a Musical Instrument
- 1957-2007: 50 Years of Higher Order Programming Languages
- In Praise of Scripting: Real Programming Pragmatism
- Language Without Code: Intentionally Unusable, Uncomputable, or Conceptual Programming Languages
- Absys: The First Logic Programming Language - A Retrospective and a Commentary
- R68-24 A Proposal for Definitions in ALGOL
- Programming Languages shouldn't be "too Natural"