About: Logic programming

Property	Value
dbo:description	Programméierparadigma (lb) programerska paradigma, ki temelji na formalni logiki (sl) استعمال المنطق الرياضي من أجل برمجة الحاسوب (ar) コンピュータプログラミングでの数理論理学の使用 (ja) פרדיגמת השמה מבוססת על לוגיקה פורמלית (iw) programming paradigm based on formal logic (en) regelbasierte Computerprogrammierung (de) paradigma de programació basat en la lògica formal (ca)
dbo:wikiPageExternalLink	http://www.cs.kuleuven.be/~dtai/projects/ALP/TPLP/ http://cmpe.emu.edu.tr/bayram/courses/531/forpresentation/p374-dantsin.pdf http://redwood.cs.ttu.edu/~mgelfond/PAPERS/survey.pdf%7C http://www.logicprogramming.org/ http://www.mozart-oz.org/documentation/tutorial/node12.html http://www.pdc.dk/ https://web.archive.org/web/20050828194751/http:/vl.fmnet.info/logic-prog/ https://web.archive.org/web/20090108012954/http:/www.mpprogramming.com/Cpp/ https://web.archive.org/web/20170102172145/https:/pdfs.semanticscholar.org/9993/ec68770faaab132da6945492b0e4ad07eb7b.pdf https://dl.acm.org/doi/abs/10.1145/365691.365960 http://www.doc.ic.ac.uk/~rak/papers/the%20early%20years.pdf http://www.ida.liu.se/~ulfni/lpp/ http://liinwww.ira.uka.de/bibliography/LogicProgramming/ http://docs.racket-lang.org/racklog/ https://repository.upenn.edu/cis_reports/711 http://www.cs.rit.edu/~rlaz/is2014/files/McCarthyProgramsWithCommonSense.pdf https://www.ijcai.org/Proceedings/71/Papers/014%20A.pdf https://www.worldcat.org/title/handbook-of-logic-in-artificial-intelligence-and-logic-programming/oclc/26300491
dbo:wikiPageWikiLink	dbr:Situation_calculus dbr:Backward_chaining dbr:Gödel_(programming_language) dbr:Flora-2 dbr:Declarative_programming dbc:Computer-related_introductions_in_1972 dbc:Logic_programming dbr:Functional_programming dbr:Fixed_point_(mathematics) dbr:SHRDLU dbr:F-logic dbr:Inductive_logic_programming dbr:Machine_learning dbr:Lambda_calculus dbr:Marseille dbr:Formal_methods dbr:Logtalk dbr:Artificial_intelligence dbr:Control_theory dbc:Logic_programming_languages dbr:Prolog dbr:Visual_Prolog dbr:Non-monotonic_logic dbr:Automated_theorem_proving dbr:Atomic_formula dbr:Satisfiability dbr:Datalog dbr:Negation_as_failure dbr:Planner_(programming_language) dbr:Fril dbr:Statistical_relational_learning dbr:XSB dbr:Horn_clause dbr:Procedural_programming dbr:Answer_set_programming dbr:Bertram_Raphael dbr:Logic dbr:Abductive_reasoning dbr:Metalanguage dbr:Oz_(programming_language) dbr:Syracuse_University dbr:Linear_logic dbr:Indeterminacy_in_concurrent_computation dbr:Program_transformation dbr:Proof-theoretic_semantics dbc:Logic dbr:International_Organization_for_Standardization dbr:Programming_language dbr:Reasoning_system dbr:Eugene_Charniak dbr:Event_calculus dbr:Stanford_University dbr:Civil_engineering dbr:Alain_Colmerauer dbr:Alonzo_Church dbr:Gerald_Jay_Sussman dbr:John_McCarthy_(computer_scientist) dbr:Mechanical_engineering dbr:Terry_Winograd dbr:Lisp_(programming_language) dbr:Programmable_logic_controller dbr:Programming_paradigm dbr:Marvin_Minsky dbr:Clausal_normal_form dbr:Automated_timetabling dbr:Boolean_satisfiability_problem dbr:Seymour_Papert dbr:University_of_Edinburgh dbr:Model_theory dbr:Transaction_logic dbr:Actor_model dbr:Air_traffic_control dbr:Dov_Gabbay dbr:Fuzzy_logic dbr:Higher-order_logic dbr:SLD_resolution dbr:Abductive_logic_programming dbc:Programming_paradigms dbr:John_Alan_Robinson dbr:Forward_chaining dbr:Algebraic_Logic_Functional_programming_language dbr:Ciao_(programming_language) dbr:Higher-order_programming dbr:Clause_(logic) dbr:Robert_Kowalski dbr:ΛProlog dbr:Absys dbr:Symbolic_programming dbr:Concurrent_programming dbr:Natural-language_understanding dbr:Logic_in_computer_science dbr:Concurrent_constraint_logic_programming dbr:Constraint_logic_programming dbr:Stable_model_semantics dbr:Rule-based_machine_learning dbr:Keith_Clark_(computer_scientist) dbr:R++ dbr:Circumscription_(logic) dbr:Cordell_Green dbr:MIT dbr:Knowledge_representation dbr:Fifth_generation_computer dbr:Concurrent_logic_programming dbr:Association_for_Logic_Programming dbr:HiLog dbr:Digital_circuit dbr:Horn_clauses dbr:LISP dbr:And-or_tree dbr:Mercury_programming_language dbr:Micro-Planner_(programming_language) dbr:Probabilistic_inductive_logic_programming dbr:Constraint_solving dbr:Formal_grammars dbr:Oz_programming_language dbr:Guard_(computing) dbr:Closed_world_assumption dbr:Patrick_J._Hayes dbr:Inference_rule dbr:Vanilla_(computing) dbr:Wiktionary:metalevel
dbp:date	2008-12-04 (xsd:date) 2011-09-03 (xsd:date)
dbp:url	https://web.archive.org/web/20081204113711/http:/liinwww.ira.uka.de/bibliography/LogicProgramming/ https://web.archive.org/web/20110903022204/http:/www.mozart-oz.org/documentation/tutorial/node12.html
dbp:wikiPageUsesTemplate	dbt:Commons_category dbt:Authority_control dbt:Cite_book dbt:! dbt:Main dbt:Reflist dbt:Cite_journal dbt:See_also dbt:Not_a_typo dbt:Char dbt:Usurped dbt:Programming_paradigms_navbox dbt:Types_of_programming_languages dbt:Visible_anchor dbt:Webarchive dbt:Short_description
dct:subject	dbc:Computer-related_introductions_in_1972 dbc:Logic_programming dbc:Logic dbc:Programming_paradigms
gold:hypernym	dbr:Paradigm
rdfs:label	Logic programming (en) برمجة منطقية (ar) Programació lògica (ca) Logické programování (cs) Logische Programmierung (de) Programación lógica (es) Ríomhchlárú loighce (ga) Programmazione logica (it) 論理プログラミング (ja) Programmation logique (fr) 논리형 프로그래밍 (ko) Logisch programmeren (nl) Programowanie logiczne (pl) Programação lógica (pt) Логическое программирование (ru) Логічне програмування (uk) Logikprogrammering (sv) 邏輯編程 (zh)
rdfs:seeAlso	dbr:Functional_programming
owl:sameAs	freebase:Logic programming http://d-nb.info/gnd/4195096-3 wikidata:Logic programming dbpedia-it:Logic programming dbpedia-nl:Logic programming dbpedia-de:Logic programming dbpedia-fr:Logic programming dbpedia-tr:Logic programming dbpedia-zh:Logic programming dbpedia-ja:Logic programming dbpedia-pt:Logic programming dbpedia-he:Logic programming dbpedia-es:Logic programming dbpedia-fa:Logic programming dbpedia-ru:Logic programming dbpedia-sv:Logic programming dbpedia-vi:Logic programming dbpedia-pl:Logic programming dbpedia-ko:Logic programming dbpedia-et:Logic programming dbpedia-ca:Logic programming dbpedia-ar:Logic programming dbpedia-bg:Logic programming dbpedia-bn:Logic programming dbpedia-bs:Logic programming dbpedia-cs:Logic programming dbpedia-fi:Logic programming dbpedia-ga:Logic programming dbpedia-gl:Logic programming dbpedia-hr:Logic programming dbpedia-io:Logic programming dbpedia-ms:Logic programming dbpedia-simple:Logic programming dbpedia-sq:Logic programming dbpedia-sr:Logic programming dbpedia-th:Logic programming dbpedia-uk:Logic programming dbpedia-global:Logic programming dbr:Logic programming
prov:wasDerivedFrom	wikipedia-en:Logic_programming?oldid=1296434253&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Logic_programming
is dbo:academicDiscipline of	dbr:Stephen_Muggleton dbr:Keith_Clark_(computer_scientist)
is dbo:genre of	dbr:SWI-Prolog dbr:SICStus_Prolog
is dbo:influencedBy of	dbr:Joule_(programming_language)
is dbo:knownFor of	dbr:Robert_Kowalski dbr:Louis_Hodes dbr:Veronica_Dahl dbr:Johann_Makowsky dbr:Maarten_van_Emden
is dbo:wikiPageDisambiguates of	dbr:LP
is dbo:wikiPageRedirects of	dbr:Rule-based_programming dbr:Logic_Programming dbr:Logic_Programming dbr:Logic_programming_language dbr:Logic_programming_language dbr:Linear_logic_programming dbr:History_of_logic_programming dbr:Metalogic_programming dbr:Higher-order_logic_programming dbr:Higher_order_logic_programming dbr:Logic_language dbr:Logic_program dbr:Logical_(programming) dbr:Logical_programming dbr:Relational_programming dbr:Object-oriented_logic_programming dbr:Rule-Based dbr:Rule-based_(programming) dbr:Transaction_logic_programming
is dbo:wikiPageWikiLink of	dbr:Abstract_machine dbr:Backtracking dbr:University_of_Rijeka dbr:Situation_calculus dbr:Backward_chaining dbr:Automated_reasoning dbr:Gödel_(programming_language) dbr:Nominal_terms_(computer_science) dbr:Logic_Programming_Associates dbr:Declarative_programming dbr:Reification_(computer_science) dbr:Narrowing_of_algebraic_value_sets dbr:History_of_artificial_intelligence dbr:Tail_call dbr:Alfred_Horn dbr:Comparison_of_multi-paradigm_programming_languages dbr:Logic_puzzle dbr:F-logic dbr:Multi-Agent_Programming_Contest dbr:Inductive_logic_programming dbr:Machine_learning dbr:Clojure dbr:Variable_(computer_science) dbr:Resolution_(logic) dbr:Aix-Marseille_University dbr:Persistent_data_structure dbr:Semantic_reasoner dbr:Logtalk dbr:Institute_for_System_Programming dbr:AgentSpeak dbr:Glasgow_Haskell_Compiler dbr:Parsing_expression_grammar dbr:Prolog dbr:RuleML dbr:Visual_Prolog dbr:Stephen_Muggleton dbr:Non-monotonic_logic dbr:Data_integration dbr:List_of_programming_languages_by_type dbr:Automated_theorem_proving dbr:Unification_(computer_science) dbr:SNOBOL dbr:Datalog dbr:Negation_as_failure dbr:PeaceMaker dbr:Planner_(programming_language) dbr:Escher_(programming_language) dbr:Fril dbr:Functional_logic_programming dbr:Claire_(programming_language) dbr:KL0 dbr:LispWorks dbr:Autoepistemic_logic dbr:Horn_clause dbr:Futures_and_promises dbr:Procedural_programming dbr:Answer_set_programming dbr:Logic dbr:Abductive_reasoning dbr:Turing_completeness dbr:Oz_(programming_language) dbr:Index_of_robotics_articles dbr:Inferential_programming dbr:International_Conference_on_Logic_Programming dbr:Computation dbr:Eight_queens_puzzle dbr:Problem_solving dbr:List_of_educational_programming_languages dbr:Physical_symbol_system dbr:Symbolic_artificial_intelligence dbr:Indeterminacy_in_concurrent_computation dbr:Index_of_logic_articles dbr:Probabilistic_logic_network dbr:Programming_language_generations dbr:Prolog++ dbr:Algorithm dbr:Database dbr:History_of_programming_languages dbr:Programming_language dbr:Reasoning_system dbr:Constraint_programming dbr:Dependent_type dbr:Racket_features dbr:List_of_programmers dbr:Actor_model_later_history dbr:Event_calculus dbr:Daniel_P._Friedman dbr:David_Plaisted dbr:De_Bruijn_index dbr:Ehud_Shapiro dbr:GOLOG dbr:Computer_program dbr:List_of_pioneers_in_computer_science dbr:Alain_Colmerauer dbr:Carl_Hewitt dbr:David_H._D._Warren dbr:John_McCarthy_(computer_scientist) dbr:Function_(computer_programming) dbr:Programming_paradigm dbr:Wolverine_(character) dbr:Atari_2600 dbr:Mercury_(programming_language) dbr:Dimiter_Skordev dbr:Law_of_excluded_middle dbr:Mathematical_logic dbr:Memoization dbr:Racket_(programming_language) dbr:Curry_(programming_language) dbr:Go!_(programming_language) dbr:Region-based_memory_management dbr:Actor_model dbr:Denotational_semantics_of_the_Actor_model dbr:Web_Ontology_Language dbr:LP dbr:Meaning_of_life dbr:Outline_of_academic_disciplines dbr:Continuation-passing_style dbr:SLD_resolution dbr:List_of_French_inventions_and_discoveries dbr:Logico-linguistic_modeling dbr:Structure_editor dbr:Twelf dbr:Tefkat dbr:Herbrand_structure dbr:And–or_tree dbr:Abductive_logic_programming dbr:Glossary_of_computer_science dbr:Harrop_formula dbr:J_Strother_Moore dbr:Jack_Minker dbr:List_of_Brooklyn_College_alumni dbr:Multi-adjoint_logic_programming dbr:MiniKanren dbr:Deductive_language dbr:Glossary_of_artificial_intelligence dbr:Krzysztof_R._Apt dbr:Computer_programming dbr:Python_(programming_language) dbr:John_Alan_Robinson dbr:The_Adventures_of_Robin_Hood_(video_game) dbr:Curry–Howard_correspondence dbr:Aldor dbr:RuleML_Symposium dbr:Algebraic_Logic_Functional_programming_language dbr:Ciao_(programming_language) dbr:List_of_programming_language_researchers dbr:List_of_software_development_philosophies dbr:Mexican_International_Conference_on_Artificial_Intelligence dbr:Richard_O'Keefe dbr:Deductive_database dbr:Clause_(logic) dbr:DBLP dbr:Difference_list dbr:Robert_Kowalski dbr:ΛProlog dbr:Programming_language_theory dbr:Fifth-generation_programming_language dbr:Absys dbr:Fifth_Generation_Computer_Systems dbr:Game_Description_Language dbr:Ecosystem_Management_Decision_Support dbr:Artificial_intelligence_for_video_surveillance dbr:DLV dbr:List_of_computer_scientists dbr:Probabilistic_logic dbr:Logic_in_computer_science dbr:SWI-Prolog dbr:Database_theory dbr:Computational_logic dbr:Constraint_Handling_Rules dbr:Constraint_logic_programming dbr:Boolean_grammar dbr:Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) dbr:John_Newsome_Crossley dbr:Louis_Hodes dbr:Stable_model_semantics dbr:Term_algebra dbr:Rule-based_programming dbr:Alma-0 dbr:Legal_informatics dbr:Mobile_application_testing dbr:Model_elimination dbr:Monkey_and_banana_problem dbr:ULTRA_(machine_translation_system) dbr:Prolog32 dbr:ECLiPSe dbr:Keith_Clark_(computer_scientist) dbr:R++ dbr:Navigational_database dbr:Luís_Moniz_Pereira dbr:List_of_academic_fields dbr:Semipredicate_problem dbr:Semmle dbr:Outline_of_artificial_intelligence dbr:Outline_of_computer_programming dbr:Outline_of_computer_science dbr:Outline_of_logic dbr:Veronica_Dahl dbr:Cordell_Green dbr:Rulelog dbr:List_of_Equinox_episodes dbr:Machine_learning_in_video_games dbr:Focused_proof dbr:Logic_Programming dbr:Well-founded_semantics dbr:Johann_Makowsky dbr:François_Fages dbr:List_of_Occitans dbr:Flix_(programming_language) dbr:The_Beginner's_Guide_to_Computers dbr:Concurrent_logic_programming dbr:Algorithmic_program_debugging dbr:Michael_Spivey dbr:Inductive_programming dbr:John_G._Cleary dbr:Nissim_Francez dbr:Vadalog dbr:HiLog dbr:Hannu_Toivonen_(professor) dbr:Constraint_satisfaction dbr:Nicola_Leone dbr:Geometric_logic dbr:Term_indexing dbr:Logic_programming_language dbr:Linear_logic_programming dbr:CLACL dbr:History_of_logic_programming dbr:Metalogic_programming dbr:Higher-order_logic_programming dbr:Higher_order_logic_programming dbr:Logic_language dbr:Logic_program dbr:Logical_(programming) dbr:Logical_programming dbr:Relational_programming dbr:Object-oriented_logic_programming dbr:Rule-Based dbr:Rule-based_(programming) dbr:Transaction_logic_programming
is dbp:field of	dbr:Keith_Clark_(computer_scientist)
is dbp:focus of	dbr:RuleML
is dbp:genre of	dbr:SWI-Prolog dbr:SICStus_Prolog
is dbp:influencedBy of	dbr:Joule_(programming_language)
is dbp:knownFor of	dbr:Robert_Kowalski dbr:Louis_Hodes dbr:Veronica_Dahl dbr:Maarten_van_Emden
is dbp:paradigm of	dbr:Gödel_(programming_language) dbr:Logtalk dbr:Prolog dbr:Visual_Prolog dbr:Datalog dbr:Planner_(programming_language) dbr:Escher_(programming_language) dbr:Fril dbr:XSB dbr:Oz_(programming_language) dbr:GOLOG dbr:Racket_(programming_language) dbr:Algebraic_Logic_Functional_programming_language dbr:Ciao_(programming_language) dbr:ΛProlog dbr:.QL dbr:Absys dbr:Alma-0 dbr:Flix_(programming_language) dbr:Vadalog
is foaf:primaryTopic of	wikipedia-en:Logic_programming