Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Logic_programming> }
- Go!_(programming_language) wikiPageWikiLink Logic_programming.
- Guillermo_Simari wikiPageWikiLink Logic_programming.
- Gödel_(programming_language) wikiPageWikiLink Logic_programming.
- Harrop_formula wikiPageWikiLink Logic_programming.
- Herbrand_structure wikiPageWikiLink Logic_programming.
- HiLog wikiPageWikiLink Logic_programming.
- Higher-order_logic_programming wikiPageWikiLink Logic_programming.
- Higher-order_programming wikiPageWikiLink Logic_programming.
- Higher_order_logic_programming wikiPageWikiLink Logic_programming.
- History_of_artificial_intelligence wikiPageWikiLink Logic_programming.
- History_of_programming_languages wikiPageWikiLink Logic_programming.
- Horn_clause wikiPageWikiLink Logic_programming.
- Indeterminacy_in_concurrent_computation wikiPageWikiLink Logic_programming.
- Index_of_computing_articles wikiPageWikiLink Logic_programming.
- Index_of_logic_articles wikiPageWikiLink Logic_programming.
- Index_of_robotics_articles wikiPageWikiLink Logic_programming.
- Inductive_functional_programming wikiPageWikiLink Logic_programming.
- Inductive_logic_programming wikiPageWikiLink Logic_programming.
- Inductive_programming wikiPageWikiLink Logic_programming.
- Inferential_programming wikiPageWikiLink Logic_programming.
- Institute_for_System_Programming wikiPageWikiLink Logic_programming.
- International_Conference_on_Logic_Programming wikiPageWikiLink Logic_programming.
- JIProlog wikiPageWikiLink Logic_programming.
- Jack_Minker wikiPageWikiLink Logic_programming.
- Jess_(programming_language) wikiPageWikiLink Logic_programming.
- Johann_Makowsky wikiPageWikiLink Logic_programming.
- John_Alan_Robinson wikiPageWikiLink Logic_programming.
- John_G._Cleary wikiPageWikiLink Logic_programming.
- John_McCarthy_(computer_scientist) wikiPageWikiLink Logic_programming.
- John_Newsome_Crossley wikiPageWikiLink Logic_programming.
- Joule_(programming_language) wikiPageWikiLink Logic_programming.
- KL0 wikiPageWikiLink Logic_programming.
- Keith_Clark wikiPageWikiLink Logic_programming.
- LP wikiPageWikiLink Logic_programming.
- Lateral_computing wikiPageWikiLink Logic_programming.
- Law_of_excluded_middle wikiPageWikiLink Logic_programming.
- Lean_theorem_prover wikiPageWikiLink Logic_programming.
- Leda_(programming_language) wikiPageWikiLink Logic_programming.
- Linear_logic_programming wikiPageWikiLink Logic_programming.
- List_of_Brooklyn_College_alumni wikiPageWikiLink Logic_programming.
- List_of_French_inventions_and_discoveries wikiPageWikiLink Logic_programming.
- List_of_computer_scientists wikiPageWikiLink Logic_programming.
- List_of_educational_programming_languages wikiPageWikiLink Logic_programming.
- List_of_important_publications_in_theoretical_computer_science wikiPageWikiLink Logic_programming.
- List_of_programming_languages_by_type wikiPageWikiLink Logic_programming.
- Logic wikiPageWikiLink Logic_programming.
- Logic_Programming wikiPageWikiLink Logic_programming.
- Logic_Programming_Associates wikiPageWikiLink Logic_programming.
- Logic_in_computer_science wikiPageWikiLink Logic_programming.
- Logic_program wikiPageWikiLink Logic_programming.
- Logic_programming wikiPageWikiLink Logic_programming.
- Logic_programming_language wikiPageWikiLink Logic_programming.
- Logical_(programming) wikiPageWikiLink Logic_programming.
- Logical_programming wikiPageWikiLink Logic_programming.
- Logtalk wikiPageWikiLink Logic_programming.
- Louis_Hodes wikiPageWikiLink Logic_programming.
- Luís_Moniz_Pereira wikiPageWikiLink Logic_programming.
- Machine_learning wikiPageWikiLink Logic_programming.
- Mathematical_logic wikiPageWikiLink Logic_programming.
- Matrix_decomposition_into_clans wikiPageWikiLink Logic_programming.
- Memoization wikiPageWikiLink Logic_programming.
- Mercury_(programming_language) wikiPageWikiLink Logic_programming.
- Metalogic wikiPageWikiLink Logic_programming.
- Metalogic_programming wikiPageWikiLink Logic_programming.
- Mexican_International_Conference_on_Artificial_Intelligence wikiPageWikiLink Logic_programming.
- Michael_Spivey wikiPageWikiLink Logic_programming.
- MiniKanren wikiPageWikiLink Logic_programming.
- Model_elimination wikiPageWikiLink Logic_programming.
- Monkey_and_banana_problem wikiPageWikiLink Logic_programming.
- Multi-Agent_Programming_Contest wikiPageWikiLink Logic_programming.
- Multi-adjoint_logic_programming wikiPageWikiLink Logic_programming.
- Narrowing_of_algebraic_value_sets wikiPageWikiLink Logic_programming.
- Navigational_database wikiPageWikiLink Logic_programming.
- Negation_as_failure wikiPageWikiLink Logic_programming.
- Nominal_terms_(computer_science) wikiPageWikiLink Logic_programming.
- Non-monotonic_logic wikiPageWikiLink Logic_programming.
- ObjVProlog wikiPageWikiLink Logic_programming.
- Object-oriented_logic_programming wikiPageWikiLink Logic_programming.
- Outline_of_academic_disciplines wikiPageWikiLink Logic_programming.
- Outline_of_computer_programming wikiPageWikiLink Logic_programming.
- Outline_of_computer_science wikiPageWikiLink Logic_programming.
- Outline_of_logic wikiPageWikiLink Logic_programming.
- Outline_of_software_engineering wikiPageWikiLink Logic_programming.
- Oz_(programming_language) wikiPageWikiLink Logic_programming.
- Paradigms_of_AI_Programming:_Case_Studies_in_Common_Lisp wikiPageWikiLink Logic_programming.
- Parlog wikiPageWikiLink Logic_programming.
- Parsing_expression_grammar wikiPageWikiLink Logic_programming.
- PeaceMaker wikiPageWikiLink Logic_programming.
- Persistent_data_structure wikiPageWikiLink Logic_programming.
- Physical_symbol_system wikiPageWikiLink Logic_programming.
- Planner_(programming_language) wikiPageWikiLink Logic_programming.
- Principle_of_bivalence wikiPageWikiLink Logic_programming.
- Probabilistic_logic wikiPageWikiLink Logic_programming.
- Probabilistic_logic_network wikiPageWikiLink Logic_programming.
- Procedural_programming wikiPageWikiLink Logic_programming.
- Programming_language wikiPageWikiLink Logic_programming.
- Programming_language_theory wikiPageWikiLink Logic_programming.
- Programming_paradigm wikiPageWikiLink Logic_programming.
- Prolog wikiPageWikiLink Logic_programming.
- Prolog++ wikiPageWikiLink Logic_programming.