Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Logic_programming> }
- Stephen_Muggleton field Logic_programming.
- SICStus_Prolog genre Logic_programming.
- SWI-Prolog genre Logic_programming.
- Joule_(programming_language) influencedBy Logic_programming.
- Logtalk influencedBy Logic_programming.
- Johann_Makowsky knownFor Logic_programming.
- Robert_Kowalski knownFor Logic_programming.
- Veronica_Dahl knownFor Logic_programming.
- LP wikiPageDisambiguates Logic_programming.
- Higher-order_logic_programming wikiPageRedirects Logic_programming.
- Higher_order_logic_programming wikiPageRedirects Logic_programming.
- Linear_logic_programming wikiPageRedirects Logic_programming.
- Logic_Programming wikiPageRedirects Logic_programming.
- Logic_program wikiPageRedirects Logic_programming.
- Logic_programming_language wikiPageRedirects Logic_programming.
- Logical_(programming) wikiPageRedirects Logic_programming.
- Logical_programming wikiPageRedirects Logic_programming.
- Metalogic_programming wikiPageRedirects Logic_programming.
- Object-oriented_logic_programming wikiPageRedirects Logic_programming.
- Relational_programming wikiPageRedirects Logic_programming.
- Rule-Based wikiPageRedirects Logic_programming.
- Rule-based_(programming) wikiPageRedirects Logic_programming.
- Rule-based_programming wikiPageRedirects Logic_programming.
- Transaction_logic_programming wikiPageRedirects Logic_programming.
- .QL wikiPageWikiLink Logic_programming.
- A++ wikiPageWikiLink Logic_programming.
- Abductive_logic_programming wikiPageWikiLink Logic_programming.
- Abductive_reasoning wikiPageWikiLink Logic_programming.
- Absys wikiPageWikiLink Logic_programming.
- Actor_model wikiPageWikiLink Logic_programming.
- Actor_model_later_history wikiPageWikiLink Logic_programming.
- Adrian_Walker_(computer_scientist) wikiPageWikiLink Logic_programming.
- Alain_Colmerauer wikiPageWikiLink Logic_programming.
- Aldor wikiPageWikiLink Logic_programming.
- Alfred_Horn wikiPageWikiLink Logic_programming.
- Algebraic_Logic_Functional_programming_language wikiPageWikiLink Logic_programming.
- Algorithm wikiPageWikiLink Logic_programming.
- Algorithmic_program_debugging wikiPageWikiLink Logic_programming.
- Alma-0 wikiPageWikiLink Logic_programming.
- And–or_tree wikiPageWikiLink Logic_programming.
- Answer_set_programming wikiPageWikiLink Logic_programming.
- Append wikiPageWikiLink Logic_programming.
- Artificial_intelligence wikiPageWikiLink Logic_programming.
- Artificial_neural_network wikiPageWikiLink Logic_programming.
- Association_for_Logic_Programming wikiPageWikiLink Logic_programming.
- Atari_2600 wikiPageWikiLink Logic_programming.
- Autoepistemic_logic wikiPageWikiLink Logic_programming.
- Automated_theorem_proving wikiPageWikiLink Logic_programming.
- Backtracking wikiPageWikiLink Logic_programming.
- Backward_chaining wikiPageWikiLink Logic_programming.
- Bogosort wikiPageWikiLink Logic_programming.
- Boolean_grammar wikiPageWikiLink Logic_programming.
- CLACL wikiPageWikiLink Logic_programming.
- Carl_Hewitt wikiPageWikiLink Logic_programming.
- Ciao_(programming_language) wikiPageWikiLink Logic_programming.
- Claire_(programming_language) wikiPageWikiLink Logic_programming.
- Clause_(logic) wikiPageWikiLink Logic_programming.
- Comparison_of_multi-paradigm_programming_languages wikiPageWikiLink Logic_programming.
- Computation wikiPageWikiLink Logic_programming.
- Computational_logic wikiPageWikiLink Logic_programming.
- Computer_programming wikiPageWikiLink Logic_programming.
- Concurrent_logic_programming wikiPageWikiLink Logic_programming.
- Constraint_Handling_Rules wikiPageWikiLink Logic_programming.
- Constraint_logic_programming wikiPageWikiLink Logic_programming.
- Constraint_programming wikiPageWikiLink Logic_programming.
- Constraint_satisfaction wikiPageWikiLink Logic_programming.
- Continuation-passing_style wikiPageWikiLink Logic_programming.
- Curry_(programming_language) wikiPageWikiLink Logic_programming.
- Curry–Howard_correspondence wikiPageWikiLink Logic_programming.
- DBLP wikiPageWikiLink Logic_programming.
- DLV wikiPageWikiLink Logic_programming.
- Data_integration wikiPageWikiLink Logic_programming.
- Database wikiPageWikiLink Logic_programming.
- Database_theory wikiPageWikiLink Logic_programming.
- Datalog wikiPageWikiLink Logic_programming.
- David_H._D._Warren wikiPageWikiLink Logic_programming.
- David_Plaisted wikiPageWikiLink Logic_programming.
- De_Bruijn_index wikiPageWikiLink Logic_programming.
- Declarative_programming wikiPageWikiLink Logic_programming.
- Deductive_database wikiPageWikiLink Logic_programming.
- Denotational_semantics_of_the_Actor_model wikiPageWikiLink Logic_programming.
- Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) wikiPageWikiLink Logic_programming.
- Dependent_type wikiPageWikiLink Logic_programming.
- Dimiter_Skordev wikiPageWikiLink Logic_programming.
- ECLiPSe wikiPageWikiLink Logic_programming.
- Ecosystem_Management_Decision_Support wikiPageWikiLink Logic_programming.
- Ehud_Shapiro wikiPageWikiLink Logic_programming.
- Eight_queens_puzzle wikiPageWikiLink Logic_programming.
- Escher_(programming_language) wikiPageWikiLink Logic_programming.
- Event_calculus wikiPageWikiLink Logic_programming.
- F-logic wikiPageWikiLink Logic_programming.
- Fifth-generation_programming_language wikiPageWikiLink Logic_programming.
- Fifth_generation_computer wikiPageWikiLink Logic_programming.
- Flex_expert_system wikiPageWikiLink Logic_programming.
- Fril wikiPageWikiLink Logic_programming.
- Functional_logic_programming wikiPageWikiLink Logic_programming.
- Functional_programming wikiPageWikiLink Logic_programming.
- Futures_and_promises wikiPageWikiLink Logic_programming.
- GHC wikiPageWikiLink Logic_programming.
- Glasgow_Haskell_Compiler wikiPageWikiLink Logic_programming.