DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Prolog> ?p ?o }

• Prolog abstract "Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.The language was first conceived by a group around Alain Colmerauer in Marseille, France, in the early 1970s and the first Prolog system was developed in 1972 by Colmerauer with Philippe Roussel.Prolog was one of the first logic programming languages, and remains the most popular among such languages today, with several free and commercial implementations available. The language has been used for theorem proving, expert systems, as well as its original intended field of use, natural language processing. Modern Prolog environments support creating graphical user interfaces, as well as administrative and networked applications.Prolog is well-suited for specific tasks that benefit from rule-based logical queries such as searching databases, voice control systems, and filling templates.".
• Prolog designer Alain_Colmerauer.
• Prolog influenced Clojure.
• Prolog influenced Constraint_Handling_Rules.
• Prolog influenced Datalog.
• Prolog influenced Erlang_(programming_language).
• Prolog influenced KL0.
• Prolog influenced KL1.
• Prolog influenced Mercury_(programming_language).
• Prolog influenced Oz_(programming_language).
• Prolog influenced Strand_(programming_language).
• Prolog influenced Visual_Prolog.
• Prolog influenced XSB.
• Prolog influencedBy Planner_(programming_language).
• Prolog wikiPageExternalLink Category:Programming_language:Prolog.
• Prolog wikiPageExternalLink index.html.
• Prolog wikiPageExternalLink index.html.
• Prolog wikiPageExternalLink docs.html.
• Prolog wikiPageExternalLink cedarprolog.
• Prolog wikiPageExternalLink cs-prolog.
• Prolog wikiPageExternalLink Examples.
• Prolog wikiPageExternalLink www.amzi.com.
• Prolog wikiPageExternalLink AdventureInProlog.
• Prolog wikiPageExternalLink index.php.
• Prolog wikiPageExternalLink ExpertSystemsInProlog.
• Prolog wikiPageExternalLink oo_prolog.html.
• Prolog wikiPageExternalLink se207.html.
• Prolog wikiPageExternalLink prolog.doc.
• Prolog wikiPageExternalLink interprolog.
• Prolog wikiPageExternalLink gnuprologjava.
• Prolog wikiPageExternalLink www.jekejeke.ch.
• Prolog wikiPageExternalLink 01_contents.html.
• Prolog wikiPageExternalLink www.jiprolog.com.
• Prolog wikiPageExternalLink www.learnprolognow.org.
• Prolog wikiPageExternalLink faq.
• Prolog wikiPageExternalLink win_tut1.pdf.
• Prolog wikiPageExternalLink win_tut2.pdf.
• Prolog wikiPageExternalLink int.htm.
• Prolog wikiPageExternalLink WamBundle.
• Prolog wikiPageExternalLink )..
• Prolog wikiPageExternalLink contents.html.
• Prolog wikiPageID "23485".
• Prolog wikiPageLength "59804".
• Prolog wikiPageOutDegree "212".
• Prolog wikiPageRevisionID "706729240".
• Prolog wikiPageWikiLink Aaron_Sloman.
• Prolog wikiPageWikiLink Abstract_interpretation.
• Prolog wikiPageWikiLink ActionScript.
• Prolog wikiPageWikiLink AgentSpeak.
• Prolog wikiPageWikiLink Alain_Colmerauer.
• Prolog wikiPageWikiLink Answer_set_programming.
• Prolog wikiPageWikiLink Apache_Hadoop.
• Prolog wikiPageWikiLink Arity.
• Prolog wikiPageWikiLink Artificial_intelligence.
• Prolog wikiPageWikiLink Association_for_Logic_Programming.
• Prolog wikiPageWikiLink Automated_theorem_proving.
• Prolog wikiPageWikiLink B-Prolog.
• Prolog wikiPageWikiLink Backtracking.
• Prolog wikiPageWikiLink Category:1972_in_computer_science.
• Prolog wikiPageWikiLink Category:Declarative_programming_languages.
• Prolog wikiPageWikiLink Category:Logic_programming_languages.
• Prolog wikiPageWikiLink Category:Pattern_matching_programming_languages.
• Prolog wikiPageWikiLink Category:Programming_languages_created_in_1972.
• Prolog wikiPageWikiLink Category:Programming_languages_created_in_the_1970s.
• Prolog wikiPageWikiLink Category:Programming_languages_with_an_ISO_standard.
• Prolog wikiPageWikiLink Category:Prolog_programming_language_family.
• Prolog wikiPageWikiLink Character_encoding.
• Prolog wikiPageWikiLink Ciao_(programming_language).
• Prolog wikiPageWikiLink Clause_binarization.
• Prolog wikiPageWikiLink Client-side.
• Prolog wikiPageWikiLink Clojure.
• Prolog wikiPageWikiLink Combinatorial_optimization.
• Prolog wikiPageWikiLink Comparison_of_Prolog_implementations.
• Prolog wikiPageWikiLink Computational_linguistics.
• Prolog wikiPageWikiLink Computer_Sciences_Corporation.
• Prolog wikiPageWikiLink Concurrent_constraint_logic_programming.
• Prolog wikiPageWikiLink Constraint_Handling_Rules.
• Prolog wikiPageWikiLink Constraint_logic_programming.
• Prolog wikiPageWikiLink Constraint_satisfaction.
• Prolog wikiPageWikiLink Creative_Commons.
• Prolog wikiPageWikiLink Currying.
• Prolog wikiPageWikiLink Data_structure.
• Prolog wikiPageWikiLink Data_type.
• Prolog wikiPageWikiLink Datalog.
• Prolog wikiPageWikiLink David_H._D._Warren.
• Prolog wikiPageWikiLink Declarative_programming.
• Prolog wikiPageWikiLink Defeasible_reasoning.
• Prolog wikiPageWikiLink Definite_clause_grammar.
• Prolog wikiPageWikiLink ECLiPSe.
• Prolog wikiPageWikiLink Ehud_Shapiro.
• Prolog wikiPageWikiLink Erlang_(programming_language).
• Prolog wikiPageWikiLink Expert_system.
• Prolog wikiPageWikiLink F-logic.
• Prolog wikiPageWikiLink Field-programmable_gate_array.
• Prolog wikiPageWikiLink Fifth_generation_computer.
• Prolog wikiPageWikiLink First-order_logic.
• Prolog wikiPageWikiLink Floating_point.
• Prolog wikiPageWikiLink Flora-2.
• Prolog wikiPageWikiLink France.
• Prolog wikiPageWikiLink French_language.

• next