Sites
Tags
- A
- Abductive reasoning
- Action language
- Actor model
- AI
- Air Traffic Control
- Alonzo Church
- And–or tree
- Anonymous function
- Answer set programming
- Array programming
- Artificial Intelligence
- ArXiv
- Aspect-oriented programming
- Assembly language
- Association for Logic Programming
- Atomic formula
- Automated theorem proving
- Automatic programming
- Backtracking
- Backward chaining
- Block
- Blocks world
- Boolean satisfiability problem
- Cambridge University Press
- Carl Hewitt
- Chatbot
- ChatGPT
- Ciao
- Circumscription
- CiteSeerX
- Civil engineering
- Class-based programming
- Clause
- Closed-world assumption
- Cognitive psychology
- Command language
- Commonsense reasoning
- Communications of the ACM
- Comparison of programming languages
- Compiled language
- Component-based software engineering
- Computer program
- Concurrent computing
- Conjunctive normal form
- Constraint programming
- Constraint satisfaction problem
- Control theory
- Cordell Green
- Cut
- Czechoslovak Academy of Sciences
- Database
- Data-driven programming
- Dataflow programming
- Datalog
- Data-oriented design
- Declarative programming
- Deductive database
- Dependent type
- Design by contract
- Dick
- Dick Lane
- Dick Lane Velodrome
- Digital electronics
- Distributed computing
- Document
- DOI
- Domain-specific language
- Dov Gabbay
- Dresden
- Drew McDermott
- Dynamic programming language
- Edinburgh University Press
- Editor-in-chief
- End-user development
- Esoteric programming language
- Event-driven programming
- Every
- Expert system
- Fifth generation computer
- Filter
- Finale
- First-order logic
- Flow-based programming
- Fluent
- Formal grammar
- Formal methods
- Formal verification
- Forward chaining
- Fourth-generation programming language
- Frame problem
- Fril
- Functional programming
- Function-level programming
- Fuzzy Logic
- Generalized algebraic data type
- Generative models
- Generic programming
- Gerald Jay Sussman
- Gödel
- Graph rewriting
- Guard
- HDL
- Higher-order logic
- High-level programming language
- Homoiconicity
- Horn clause
- Hygienic macro
- Immutable object
- Imperative programming
- Inductive logic programming
- Inductive programming
- Inductive reasoning
- Information and Computation
- Intentional programming
- Interactive programming
- Interface description language
- International Organization for Standardization
- International Standard Book Number
- International Standard Serial Number
- Interpretation
- Interpreted language
- Jeff Rulifson
- John McCarthy
- Journal of Logical and Algebraic Methods in Programming
- Journal of the ACM
- JSTOR
- Keith Clark
- Knowledge representation and reasoning
- Lambda calculus
- Lane
- Language
- Language-oriented programming
- Large language model
- Lexical analysis
- Linear logic
- Lisp
- List comprehension
- Literal
- Literate programming
- Logic
- Logical consequence
- Logic in computer science
- Low-code development platform
- Low-level programming language
- Machine code
- Machine learning
- Machine translation
- Macro
- Magic system
- Marseille
- Marvin Minsky
- Mechanical engineering
- Memoization
- Mercury
- Metalanguage
- Metalinguistic abstraction
- Metalogic
- Metaprogramming
- Ministry of International Trade and Industry
- MIT
- MIT Press
- Modeling language
- Modular programming
- Need
- Negation as failure
- Nested function
- New
- Nondeterministic programming
- Non-monotonic logic
- Object-based language
- Object-oriented programming
- Ontology language
- Oz
- Page description language
- Parallel computing
- Parallel programming model
- Partial application
- Pattern matching
- Paul Thagard
- Peano axioms
- Pipeline
- Planner
- Predicate
- Principle of explosion
- Probabilistic programming language
- Procedural programming
- Production system
- Programmable logic controller
- Programming by demonstration
- Programming language
- Programming paradigm
- Program synthesis
- Program transformation
- Prolog
- Proof-theoretic semantics
- Proposition
- Prototype-based programming
- Purely functional programming
- Quantum programming
- Query language
- Question
- QuickCheck
- Reactive programming
- Reasoning system
- Recursion
- Recursive definition
- Reflection
- Relational database
- Richard Waldinger
- Rule-based machine learning
- Rule-based system
- Satisfiability
- Scripting language
- Self-modifying code
- Separation of concerns
- Service-oriented programming
- Seymour Papert
- SHRDLU
- Signal programming
- SIGPLAN
- Simulation language
- Situation calculus
- SLD resolution
- Stable model semantics
- Stack
- Stanford University
- Statistical relational learning
- Stream processing
- Strict programming language
- Structure
- Structured programming
- Symbolic programming
- Synchronous programming language
- Syracuse University
- System programming language
- Tacit knowledge
- Tacit programming
- Tag und Nacht
- Template metaprogramming
- Template processor
- Terry Winograd
- The Great Stagnation
- Theoretical computer science
- Third-generation programming language
- Total functional programming
- Transaction logic
- Transformation language
- Turing completeness
- Unification
- Uniform Function Call Syntax
- University of Edinburgh
- Value-level programming
- Vanilla
- Velodrome
- Visual programming language
- Wayback Machine
- Weather
- What
- When
- Why
- Wikipedia
- World Bank
- XSB