/wiki/Rule-based_machine_translation
/wiki/Rule-based_machine_learning
/wiki/Programming_paradigm
/wiki/Action_language
/wiki/Agent-oriented_programming
/wiki/Array_programming
/wiki/Automata-based_programming
/wiki/Concurrent_computing
/wiki/Relativistic_programming
/wiki/Data-driven_programming
/wiki/Declarative_programming
/wiki/Imperative_programming
/wiki/Functional_programming
/wiki/Functional_logic_programming
/wiki/Purely_functional_programming
/wiki/Abductive_logic_programming
/wiki/Answer_set_programming
/wiki/Concurrent_logic_programming
/wiki/Inductive_logic_programming
/wiki/Constraint_programming
/wiki/Constraint_logic_programming
/wiki/Concurrent_constraint_logic_programming
/wiki/Dataflow_programming
/wiki/Flow-based_programming
/wiki/Reactive_programming
/wiki/Dynamic_programming_language
/wiki/Event-driven_programming
/wiki/Function-level_programming
/wiki/Value-level_programming
/wiki/Tacit_programming
/wiki/Concatenative_programming_language
/wiki/Generic_programming
/wiki/Procedural_programming
/wiki/Object-oriented_programming
/wiki/Literate_programming
/wiki/Language-oriented_programming
/wiki/Natural-language_programming
/wiki/Service-oriented_modeling
/wiki/Domain-specific_language
/wiki/Grammar-oriented_programming
/wiki/Intentional_programming
/wiki/Metaprogramming
/wiki/Automatic_programming
/wiki/Inductive_programming
/wiki/Reflection_(computer_programming)
/wiki/Attribute-oriented_programming
/wiki/Macro_(computer_science)
/wiki/Template_metaprogramming
/wiki/Non-structured_programming
/wiki/Structured_programming
/wiki/Nondeterministic_programming
/wiki/Parallel_computing
/wiki/Process-oriented_programming
/wiki/Probabilistic_programming_language
/wiki/Stack-oriented_programming
/wiki/Block_(programming)
/wiki/Actor_model
/wiki/Class-based_programming
/wiki/Concurrent_object-oriented_programming
/wiki/Prototype-based_programming
/wiki/Separation_of_concerns
/wiki/Aspect-oriented_programming
/wiki/Role-oriented_programming
/wiki/Subject-oriented_programming
/wiki/Recursion_(computer_science)
/wiki/Symbolic_programming
/wiki/Quantum_programming
/wiki/Formal_logic
/wiki/Programming_language
/wiki/Prolog
/wiki/Datalog
/wiki/Atomic_formula
/wiki/Horn_clause
/wiki/Non-monotonic_logic
/wiki/Terry_Winograd
/wiki/Planner_(programming_language)
/wiki/Program_transformation
/wiki/Lambda_calculus
/wiki/Alonzo_Church
/wiki/Clausal_normal_form
/wiki/LISP
/wiki/Absys
/wiki/Stanford_University
/wiki/John_McCarthy_(computer_scientist)
/wiki/Bertram_Raphael
/wiki/University_of_Edinburgh
/wiki/John_Alan_Robinson
/wiki/Syracuse_University
/wiki/Patrick_J._Hayes
/wiki/Robert_Kowalski
/wiki/MIT
/wiki/Marvin_Minsky
/wiki/Seymour_Papert
/wiki/Backward_chaining
/wiki/Forward_chaining
/wiki/Gerald_Jay_Sussman
/wiki/Eugene_Charniak
/wiki/SHRDLU
/wiki/SLD_resolution
/wiki/Alain_Colmerauer
/wiki/Association_for_Logic_Programming
/wiki/Algebraic_Logic_Functional_programming_language
/wiki/Fril
/wiki/G%C3%B6del_(programming_language)
/wiki/Mercury_programming_language
/wiki/Oz_(programming_language)
/wiki/Ciao_(programming_language)
/wiki/Visual_Prolog
/wiki/XSB
/wiki/%CE%9BProlog
/wiki/And-or_tree
/wiki/Negation_as_failure
/wiki/Circumscription_(logic)
/wiki/Closed_world_assumption
/wiki/Stable_model_semantics
/wiki/Knowledge_representation
/wiki/Situation_calculus
/wiki/Event_calculus
/wiki/Marseille
/wiki/Natural_language_understanding
/wiki/Formal_grammars
/wiki/Lisp_(programming_language)
/wiki/International_Organization_for_Standardization
/wiki/Abductive_reasoning
/wiki/Object_language
/wiki/Vanilla_(computing)
/wiki/Inference_rule
/wiki/Constraint_solving
/wiki/Civil_engineering
/wiki/Mechanical_engineering
/wiki/Digital_circuit
/wiki/Automated_timetabling
/wiki/Air_traffic_control
/wiki/Concurrent_programming
/wiki/Fifth_generation_computer
/wiki/Horn_clauses
/wiki/Guard_(computing)
/wiki/Indeterminacy_in_concurrent_computation
/wiki/Machine_learning
/wiki/Statistical_relational_learning
/wiki/Probabilistic_inductive_logic_programming
/wiki/Higher-order_programming
/wiki/Higher-order_logic
/wiki/HiLog
/wiki/Linear_logic
/wiki/F-logic
/wiki/Logtalk
/wiki/Transaction_logic
/wiki/Flora-2
/wiki/Automated_theorem_proving
/wiki/Boolean_satisfiability_problem
/wiki/Fuzzy_logic
/wiki/Logic_in_computer_science
/wiki/Formal_methods
/wiki/R%2B%2B
/wiki/Reasoning_system
/wiki/Satisfiability
/wiki/Digital_object_identifier
/wiki/Common_sense
/wiki/Oz_programming_language
/wiki/Esoteric_programming_language
/wiki/Extensible_programming
/wiki/Multi-paradigm_programming_language
/wiki/Object-based_language
/wiki/Pipeline_programming
/wiki/Rule-based_system
/wiki/Scripting_language
/wiki/Stack-based_language
/wiki/Synchronous_programming_language
/wiki/Templating_language
/wiki/Assembly_language
/wiki/Compiled_language
/wiki/Interpreted_language
/wiki/Machine_code
/wiki/Low-level_programming_language
/wiki/High-level_programming_language
/wiki/Very_high-level_programming_language
/wiki/First-generation_programming_language
/wiki/Second-generation_programming_language
/wiki/Third-generation_programming_language
/wiki/Fourth-generation_programming_language
/wiki/Fifth-generation_programming_language
/wiki/Non-English-based_programming_languages
/wiki/Visual_programming_language
/wiki/Alphabet_of_human_thought
/wiki/Authority_control
/wiki/Automated_reasoning
/wiki/Commonsense_knowledge_(artificial_intelligence)
/wiki/Commonsense_reasoning
/wiki/Computability
/wiki/Formal_system
/wiki/Inference_engine
/wiki/Knowledge_base
/wiki/Knowledge-based_systems
/wiki/Knowledge_engineering
/wiki/Knowledge_extraction
/wiki/Knowledge_representation_and_reasoning
/wiki/Knowledge_retrieval
/wiki/Library_classification
/wiki/Ontology_(information_science)
/wiki/Personal_knowledge_base
/wiki/Question_answering
/wiki/Semantic_reasoner
/wiki/Zairja
/wiki/Ramon_Llull
/wiki/An_Essay_towards_a_Real_Character,_and_a_Philosophical_Language
/wiki/Calculus_ratiocinator
/wiki/Characteristica_universalis
/wiki/Dewey_Decimal_Classification
/wiki/Begriffsschrift
/wiki/Mundaneum
/wiki/Logical_atomism
/wiki/Tractatus_Logico-Philosophicus
/wiki/Hilbert%27s_program
/wiki/G%C3%B6del%27s_incompleteness_theorems
/wiki/World_Brain
/wiki/Memex
/wiki/General_Problem_Solver
/wiki/Cyc
/wiki/Semantic_Web
/wiki/Evi_(software)
/wiki/Wolfram_Alpha
/wiki/Watson_(computer)
/wiki/Siri
/wiki/Knowledge_Graph
/wiki/Wikidata
/wiki/Cortana
/wiki/Viv_(software)
/wiki/The_Engine
/wiki/Gulliver%27s_Travels
/wiki/A_Logic_Named_Joe
/wiki/Snow_Crash
/wiki/A.I._Artificial_Intelligence
/wiki/The_Baroque_Cycle
/wiki/Artificial_intelligence_in_fiction
/wiki/List_of_fictional_computers
/wiki/Biblioteca_Nacional_de_Espa%C3%B1a
/wiki/Biblioth%C3%A8que_nationale_de_France
/wiki/Integrated_Authority_File
/wiki/Library_of_Congress_Control_Number
