This HTML5 document contains 835 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-cshttp://cs.dbpedia.org/resource/
dbpedia-bghttp://bg.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
n20https://www.iso.org/standard/
schemahttp://schema.org/
n65http://dbpedia.org/resource/ISO/IEC_JTC_1/
dbpedia-dehttp://de.dbpedia.org/resource/
n55https://dobrev.com/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
dbpedia-thhttp://th.dbpedia.org/resource/
dbpedia-simplehttp://simple.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-idhttp://id.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
n57http://stefan.buettcher.org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n47https://github.com/Trismegiste/
dbrhttp://dbpedia.org/resource/
n82http://tg.dbpedia.org/resource/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-slhttp://sl.dbpedia.org/resource/
n34http://lv.dbpedia.org/resource/
dbpedia-behttp://be.dbpedia.org/resource/
n79https://jpl7.org/
dbpedia-eohttp://eo.dbpedia.org/resource/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbpedia-yohttp://yo.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
dbpedia-fahttp://fa.dbpedia.org/resource/
n74https://quintus.sics.se/
dbpedia-azhttp://az.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
goldhttp://purl.org/linguistics/gold/
dbpedia-ishttp://is.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
n24https://ailab.si/ivan/datoteke/dokumenti/32/
n21http://uz.dbpedia.org/resource/
n69http://ast.dbpedia.org/resource/
n4https://www.lpa.co.uk/
dbpedia-glhttp://gl.dbpedia.org/resource/
n17http://dbpedia.org/resource/Library_of_Congress_Classification:
dbpedia-rohttp://ro.dbpedia.org/resource/
n26http://dbpedia.org/resource/MUSIC/
n43https://web.archive.org/web/20190317003033/http:/apice.unibo.it/xwiki/bin/view/Tuprolog/
dbthttp://dbpedia.org/resource/Template:
dbpedia-dahttp://da.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-srhttp://sr.dbpedia.org/resource/
n41https://global.dbpedia.org/id/
n92https://picolisp.com/wiki/
dbpedia-euhttp://eu.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbpedia-elhttp://el.dbpedia.org/resource/
n53https://web.archive.org/web/20110221120826/http:/www.igormaznitsa.com/projects/prol/
dbpedia-hehttp://he.dbpedia.org/resource/
n44http://sites.google.com/site/cedarprolog/
dbpedia-ethttp://et.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
n54https://web.archive.org/web/20050406192103/http:/www.declarativa.com/InterProlog/
wikidatahttp://www.wikidata.org/entity/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-gahttp://ga.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-anhttp://an.dbpedia.org/resource/
n81http://www.amzi.com/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n63http://dbpedia.org/resource/Artificial_Intelligence:
dbpedia-vihttp://vi.dbpedia.org/resource/
yago-reshttp://yago-knowledge.org/resource/
n33http://www.learnprolognow.org/
n86https://sites.google.com/site/prologforprogrammers/
n76https://www.gnu.org/software/gnuprologjava/
n16http://dbpedia.org/resource/Input/
dbpedia-iohttp://io.dbpedia.org/resource/
dbpedia-nohttp://no.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n67http://sw.cyc.com/concept/
dbohttp://dbpedia.org/ontology/
provhttp://www.w3.org/ns/prov#
n35http://www.w3.org/2006/03/wn/wn20/instances/
n39http://dbpedia.org/resource/ISO/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n28http://sourceforge.net/projects/cs-prolog/
n94http://ta.dbpedia.org/resource/
n80http://tau-prolog.org/
dbpedia-mkhttp://mk.dbpedia.org/resource/
dbpedia-nnhttp://nn.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-mshttp://ms.dbpedia.org/resource/

Statements

Subject Item
dbr:Carcassonne
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Bayesian_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:ProbLog
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Programming_paradigm
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Prolog
rdf:type
yago:ArtificialLanguage106894544 yago:ProgrammingLanguage106898352 wikidata:Q9143 dbo:ProgrammingLanguage yago:Language106282651 schema:Language yago:SourceLanguage106283912 yago:SystemOfMeasurement113577171 yago:WikicatProgrammingLanguagesWithAnISOStandard yago:WikicatProgrammingLanguages wikidata:Q315 dbo:Language yago:Abstraction100002137 yago:Measure100033615 yago:WikicatIECStandards yago:Communication100033020 yago:Standard107260623 yago:CommandLanguage106899446 yago:WikicatISOStandards yago:WikicatQueryLanguages owl:Thing
rdfs:label
Prolog Prolog (język programowania) Prolog Prolog Prolog Prolog Prolog Пролог Prolog Prolog Prolog Prolog Prologo (programlingvo) Prolog 프롤로그 (프로그래밍 언어) Prolog Prolog (programspråk) Prolog (programovací jazyk) برولوغ Пролог (язык программирования) Prolog Prolog (Programmiersprache)
rdfs:comment
Prolog est un langage de programmation logique. Le nom Prolog est un acronyme de PROgrammation en LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972 à Luminy, Marseille. Le but était de créer un langage de programmation où seraient définies les règles logiques attendues d'une solution et de laisser le compilateur la transformer en séquence d'instructions. L'un des gains attendus était une facilité accrue de maintenance des applications, l'ajout ou la suppression de règles au cours du temps n'obligeant pas à réexaminer toutes les autres. Il Prolog (contrazione del francese PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica. È stato ideato da Robert Kowalski (aspetto teorico), (dimostrazione sperimentale) e implementato da negli anni settanta, costituendo un tentativo di costruire un linguaggio di programmazione che consentisse l'espressione del problema in forma logica invece della traduzione di un algoritmo di soluzione in forma di istruzioni da eseguire da parte della macchina. L'attuale implementazione di Prolog è dovuta in gran parte all'efficiente codifica di , implementata tramite la sua Warren Abstract Machine (1983). Prolog (vom Französischen: programmation en logique, dt.: „Programmieren in Logik“) ist eine Programmiersprache, die Anfang der 1970er-Jahre maßgeblich von dem französischen Informatiker Alain Colmerauer entwickelt wurde und ein deklaratives Programmieren ermöglicht. Sie gilt als die wichtigste logische Programmiersprache. Prolog je logický programovací jazyk. Patří mezi tzv. deklarativní programovací jazyky, ve kterých programátor popisuje pouze cíl výpočtu, přičemž přesný postup, jakým se k výsledku program dostane, je ponechán na libovůli systému. Prolog se snaží o pokud možno abstraktní vyjádření faktů a logických vztahů mezi nimi s potlačením imperativní složky. Prolog je využíván především v oboru umělé inteligence a v počítačové lingvistice (obzvláště zpracování přirozeného jazyka, pro nějž byl původně navržen). Syntaxe jazyka je velice jednoduchá a snadno použitelná právě proto, že byl původně určen pro počítačově nepříliš gramotné lingvisty. Prolog je založen na predikátové logice prvního řádu; konkrétně se omezuje na Hornovy klauzule. Běh programu je pak představován aplikací dokazovacích technik n Prolog (Programação Lógica) é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática. É uma linguagem de uso geral que é especialmente associada com a inteligência artificial e linguística computacional. Consiste numa linguagem puramente lógica, que pode ser chamada de Prolog puro, e numa linguagem concreta, a qual acrescenta o Prolog puro com componentes extra-lógicos. O uso Prolog puro foi originalmente restrito em provas do teorema da resolução com Cláusulas de Horn do formato H :- B<sub>1</sub>, …, B<sub>n</sub>.. Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上, 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。 Prolog ( edo PROLOG), frantses jatorria (PROgrammation LOGique) duen programazio-lengoaia logiko interpretatu bat da. Adimen artifizialeko ikerketetan erabiltzen da. Prolog adalah bahasa atau di sebut juga sebagai . Namanya diambil dari bahasa Prancis programmation en logique (pemrograman logika). Bahasa ini diciptakan oleh dan sekitar tahun 1972 dalam upaya untuk menciptakan suatu bahasa pemrograman yang memungkinkan pernyataan logika alih-alih rangkaian perintah untuk dijalankan komputer. Prolog(プロログ)は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。一階述語論理と形式論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキの門弟のデヴィッド・ワーレンが1977年に改訂開発したエディンバラProlog(DEC-10 Prolog)が標準になってPrologは広く普及した。 Prolog (uit het Frans "programmation en logique", "programmeren met logica") is een logische programmeertaal. De taal is gebaseerd op predicatenlogica en heeft een sterk declaratief karakter. In plaats van de stappen die tot de oplossing van een probleem leiden, worden de voorwaarden waaraan de oplossing moet voldoen in logische termen beschreven. Vandaar dat Prolog een (grotendeels) declaratieve taal is. Prolog, ett programspråk för logikprogrammering. Prolog skiljer sig från de flesta andra programspråk i och med att det bygger på logiska uttryck och inte på instruktioner för datorn. Prolog används främst inom områdena artificiell intelligens och . Att programmera i Prolog liknar inte riktigt program skrivna i programspråk som till exempel C; språket är uppbyggt så att man i sitt program definierar klausuler som returnerar sant eller falskt. Man ställer sedan frågor till systemet som med hjälp av de klausuler man definierat kan dra slutsatser och svara på frågor. 프롤로그(Prolog)는 논리형 프로그래밍 언어이다. 이름은 '논리 프로그래밍'을 의미하는 프랑스어: programmation en logique에서 온 것이다. 1973년 프랑스 마르세유대학교의 (Alan Colmerauer)가 개발한 언어로서, 논리식을 토대로 하여 오브젝트와 오브젝트 간의 관계에 관한 문제를 해결하기 위해 사용한다. 프롤로그는 술어 논리식을 프로그램, 증명하는 것을 계산한다는 것으로 간주하는 관점에서 새로운 계산의 기술 형태를 취하고 있다. 즉, 프로그램 자체는 논리식의 모양으로 만들어지고, 그 프로그램을 실행하는 처리계가 그 증명기로 되어 있다. 추론 기구를 간결하게 표현할 수 있기 때문에 인공지능이나 계산 언어학 분야, 특히 프롤로그가 만들어진 목적이었던 자연언어 처리 분야에서 많이 사용된다. Prolog is a 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 intended primarily as a declarative programming language: 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. 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 (od francuskiego Programmation en Logique) – jeden z najpopularniejszych języków programowania logicznego. Prolog powstał jako język programowania służący do automatycznej analizy języków naturalnych, jest jednak językiem ogólnego zastosowania, szczególnie dobrze sprawdzającym się w programach związanych ze sztuczną inteligencją. Prolog w przeciwieństwie do większości popularnych języków jest językiem deklaratywnym. Prolog opiera się na rachunku predykatowym pierwszego rzędu, jednak ogranicza się tylko do klauzul Horna. Istnieją jednak wbudowane predykaty wyższego rzędu. Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка. Иначе говоря, предикат можно определить как функцию, отображающую множество произвольной природы в множество булевых значений {ложно, истинно}. Задача пролог-программы заключается в том, чтобы доказать, является ли заданное целевое утверждение следствием из имеющихся фактов и правил. Η Prolog είναι γλώσσα γενικής χρήσης που κυρίως χρησιμοποιείται στον τομέα της τεχνητής νοημοσύνης.Δημιουργήθηκε στις αρχές του 1970 από τους και .Το όνομα Prolog το έβγαλε ο συνεργάτης του Kowalski' Philippe Roussel και είναι συντομογραφία του γαλλικού «PROgramation et LOGique» («Προγραμματισμός και Λογική») . El Prolog (nom provinent dels mots francesos programation i logique) és un llenguatge de programació bastant popular en el medi d'investigació en intel·ligència artificial. البرولوغ (Prolog) هي لغة برمجة منطقية. الاسم مأخوذ من الفرنسية programmation en logique (برمجة المنطق)، تم اختراع اللغة بواسطة حوالي العام 1972. كانت محاولة لجعل لغة البرمجة قادرة على استخدام عبارات منطقية بدل أن تكون تعليمات محددة تلقن إلى الحاسوب. صممت اللغة أساسًا لتستخدم في عمل برامج معالجة اللغات الطبيعية. Проло́г (фр. Prolog, англ. Prolog) — мова логічного програмування загального призначення, пов'язана зі штучним інтелектом та математичною лінгвістикою. Пролог має корені в логіці першого порядку, математичній логіці, та, на відміну від багатьох інших мов програмування, є декларативною: логіка програми виражається в термінах відношень, представлених як факти та правила. Обчислення ініціюється запуском запиту над цими відношеннями. Цю мову програмування спочатку було задумано групою навколо в Марселі на початку 1970-х, а першу систему Пролог було розроблено в 1972-му Аланом Кольмерое та . Teanga ríomhchláraithe ardleibhéil a úsáidtear ar loighic mhatamaiticiúil, go minic i bhfeidhmeanna intleachta saorga. Saothraíodh í in Aix-Marseille sa bhFrainc, Coláiste Impiriúil Londan, agus Dún Éideann. Cuireadh in ionad LISP do na feidhmeanna seo í, san Eoraip ar a laghad. Prologo (angle Prolog, etimologie "PROgramado en LOGiko") estas programlingvo bazita sur la predikatkalkulo. En la 1970-aj jaroj, ĝi estis uzata precipe en projektoj de artefarita intelekto en Japanio. (Ial, en Usono kaj Eŭropo oni preferis Lispon por la sama fako.) Programo en Prologo estas kolekto de asertoj kaj reguloj. La asertoj konsistas el predikatoj, logikaj kaj konstantoj, kiuj kune formas datumbazon. La reguloj havas la formon de . Prologo estas utila por (Constraint Logic Programming). Jen simpla montra programo kun klarigoj: Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique,​ es un lenguaje de programación lógico e interpretado usado habitualmente en el campo de la Inteligencia artificial.
foaf:homepage
n20:21413.html
foaf:page
n20:20775.html n20:21413.html
dcterms:subject
dbc:1972_in_computing dbc:Prolog_programming_language_family dbc:Pattern_matching_programming_languages dbc:Homoiconic_programming_languages dbc:Programming_languages_created_in_1972 dbc:Programming_languages_with_an_ISO_standard dbc:Dynamically_typed_programming_languages dbc:Declarative_programming_languages dbc:Logic_programming_languages
dbo:wikiPageID
23485
dbo:wikiPageRevisionID
1121337435
dbo:wikiPageWikiLink
dbr:Philippe_Roussel dbr:Perfect_numbers dbr:Oblog dbr:Imperative_programming dbr:SLD_resolution dbr:Design_pattern_(computer_science) dbr:P_Sharp dbr:First-order_logic dbr:Apache_Hadoop n16:output dbr:Rule_of_inference dbr:HTML dbr:Logical_operator dbr:Programming_in_the_large dbr:Declarative_programming dbr:Logical_conjunction dbr:Fifth_Generation_Computer_Systems_project dbr:Backtracking dbr:Logic_Programming_Associates dbr:Non-monotonic_logic dbr:French_language dbr:Term_indexing dbr:Programming_language dbr:Logic dbr:Abstract_interpretation dbr:Superimposed_code dbr:Turing_completeness dbr:Web_programming dbr:Logical_disjunction dbr:Datalog dbr:WordNet dbr:SICStus dbr:Cut_(logic_programming) dbr:Type-checking dbr:Alain_Colmerauer dbr:Clojure dbc:1972_in_computing dbr:Web_Ontology_Language dbr:Database dbr:Symbolic_mathematics dbr:ECLiPSe dbr:SC22 dbr:Watson_(computer) dbr:Data_type dbr:Unification_(computer_science) dbr:Production_scheduling dbr:GNU_Prolog dbr:PicoLisp dbr:Programming_in_the_large_and_programming_in_the_small dbr:Natural_language dbr:Ivan_Bratko_(computer_scientist) dbr:Scientific_Community_Metaphor dbr:Truth_value dbr:Defeasible_reasoning dbc:Prolog_programming_language_family dbr:Finitary_relation dbr:Resource_Description_Framework dbr:Memoization dbr:TerminusDB dbr:Field_programmable_gate_array dbr:Type_safety dbr:JSON-RPC dbr:HiLog dbr:Poplog dbr:Optimizing_compiler dbr:Client-side dbr:Clause_binarization dbr:Richard_O'Keefe dbr:Predicate_(mathematical_logic) dbr:Comparison_of_Prolog_implementations dbr:XML dbr:Resolution_(logic) dbr:Java_platform dbr:Sublinear_time dbr:Websockets dbr:Ground_expression dbr:Map_(higher-order_function) dbr:Leon_Sterling dbr:Server-side dbr:Automated_theorem_proving dbr:Horn_clauses dbr:Formal_logic dbr:Stack_machines dbr:Visual_Prolog dbr:Aaron_Sloman dbr:Strand_(programming_language) dbc:Pattern_matching_programming_languages dbr:Association_for_Logic_Programming dbr:Sega dbr:Meta-circular_evaluator dbr:Answer_set_programming dbr:Japanese_language dbr:Oz_(programming_language) dbr:Transaction_logic dbr:Logtalk dbr:Voice_control dbr:Type_system dbr:Horn_clause dbr:Planner_(programming_language) dbr:F-logic dbr:Message_Passing_Interface dbr:Functional_programming dbr:SUSE_Linux_Enterprise_Server dbr:Warren_Abstract_Machine dbr:Constraint_Handling_Rules dbr:List_comprehension dbr:Predicate_logic dbr:Turing-complete dbr:Reflection_(computer_science) dbr:Semantic_web dbr:Logico-linguistic_modeling dbr:Prova dbc:Homoiconic_programming_languages dbc:Programming_languages_created_in_1972 dbr:Artificial_intelligence dbr:Depth-first_search dbr:Graphical_user_interface dbr:Lisp_(programming_language) dbr:Monads_in_functional_programming dbr:Gödel_(programming_language) dbr:Flora-2 dbr:Symbol_(programming) dbr:Computation dbr:Creative_Commons dbc:Programming_languages_with_an_ISO_standard dbr:Logic_programming dbr:Operating_system dbr:ΛProlog dbr:JTC1 dbr:YAP_(Prolog) dbr:Automated_planning dbr:Tail_call dbr:AgentSpeak dbr:KL0 dbr:Combinatorial_optimisation dbr:KL1 dbr:Natural_language_processing dbr:University_of_Edinburgh dbc:Dynamically_typed_programming_languages dbr:Logical_consequence dbr:Side_effect_(computer_science) dbr:Quicksort dbr:Multi-agent_system dbr:Robert_Kowalski dbr:Ehud_Shapiro dbr:Derek_H._Sleeman dbr:Data_structure dbr:UIMA dbr:Currying dbr:Knowledge_representation dbc:Declarative_programming_languages dbr:SWI-Prolog dbr:Objlog dbr:Soundness dbr:Ciao_(programming_language) dbr:Knowledge_graph dbr:Prolog-MPI dbr:Knowledge_base dbr:Negation_as_failure dbr:XSB dbr:Higher-order_logic dbr:Computational_linguistics dbr:Michael_A._Covington dbr:Erlang_(programming_language) dbr:Modular_programming dbr:Graphics_library dbr:Prolog++ dbr:GeneXus dbr:Space–time_tradeoff dbr:Expert_system dbr:Definite_clause_grammar dbr:Higher_order_programming dbr:Pattern_matching dbr:Refutation dbr:Tail_recursion dbr:International_Organization_for_Standardization dbr:Arity dbr:Operator_(programming) dbr:Mercury_(programming_language) dbr:ActionScript dbr:Object-oriented_programming dbr:Concurrent_constraint_logic_programming dbr:Constraint_logic_programming dbr:Graph_database dbr:OW_Prolog dbr:Constraint_satisfaction dbr:Linear_logic dbr:Integer dbr:ISO_Prolog dbr:Homoiconic dbr:Floating-point_arithmetic dbr:Software_design dbr:B-Prolog dbr:David_H._D._Warren dbr:Term_rewriting dbc:Logic_programming_languages
dbo:wikiPageExternalLink
n4:win.htm n24:107_19_Bratko_Prolog_book_web_resources.htm n28: n4:int.htm n33: n43:WebHome n44: n20:20775.html n47:WamBundle n53:index.html n20:21413.html n54: n55: n57: n74: n76: n79: n80: n81: n86: n92:%3FaccessToLispFunctionFromPilog
owl:sameAs
dbpedia-tr:Prolog dbpedia-ca:Prolog dbpedia-eo:Prologo_(programlingvo) dbpedia-nl:Prolog n21:Prolog freebase:m.05vpz dbpedia-uk:Пролог dbpedia-he:פרולוג_(שפת_תכנות) dbpedia-io:Prolog dbpedia-ko:프롤로그_(프로그래밍_언어) n34:Prolog dbpedia-es:Prolog dbpedia-vi:Prolog dbpedia-az:Proloq_dili dbpedia-sk:Prolog wikidata:Q163468 n41:cUsx dbpedia-is:Prolog dbpedia-bg:Пролог_(език_за_програмиране) dbpedia-ms:Prolog dbpedia-it:Prolog dbpedia-sv:Prolog_(programspråk) dbpedia-da:Prolog_(programmeringssprog) dbpedia-sr:Prolog_(programski_jezik) dbpedia-zh:Prolog dbpedia-th:ภาษาโปรล็อก dbpedia-fi:Prolog dbpedia-mk:Пролог_(програмски_јазик) dbpedia-no:Prolog_(programmeringsspråk) dbpedia-gl:Prolog dbpedia-ro:Prolog_(limbaj_de_programare) dbpedia-ru:Пролог_(язык_программирования) n67:Mx4rvVi4pZwpEbGdrcN5Y29ycA yago-res:Prolog n69:Prolog dbpedia-be:Пралог_(мова_праграмавання) dbpedia-el:Prolog dbpedia-et:Prolog dbpedia-ar:برولوغ dbpedia-sl:Prolog_(programski_jezik) dbpedia-fa:پرولوگ dbpedia-id:Prolog n82:Пролог_(забони_барноманависӣ) dbpedia-ga:Prolog dbpedia-fr:Prolog dbpedia-an:Prolog dbpedia-yo:Prolog dbpedia-eu:Prolog dbpedia-ja:Prolog dbpedia-de:Prolog_(Programmiersprache) dbpedia-nn:Programmeringsspråket_Prolog dbpedia-cs:Prolog_(programovací_jazyk) n94:புரொலாக் dbpedia-pl:Prolog_(język_programowania) dbpedia-hu:Prolog dbpedia-simple:Prolog dbpedia-pt:Prolog
dbp:wikibooks
Prolog
dbp:wikiPageUsesTemplate
dbt:Programming_languages dbt:Dead_link dbt:Refend dbt:Reflist dbt:Refbegin dbt:Further dbt:Start_date_and_age dbt:Infobox_programming_language dbt:Cn dbt:Clarify dbt:Cite_book dbt:Wikibooks dbt:Citation_needed dbt:Short_description dbt:Which dbt:About dbt:Main dbt:Rp dbt:Authority_control dbt:ISO_standards dbt:ISBN
dbp:bot
InternetArchiveBot
dbp:date
September 2019 August 2019
dbp:designers
dbr:Robert_Kowalski dbr:Alain_Colmerauer
dbp:fixAttempted
yes
dbp:implementations
B-Prolog, Ciao, ECLiPSe, GNU Prolog, Poplog Prolog, P#, Quintus Prolog, SICStus, Strawberry, SWI-Prolog, Tau Prolog, tuProlog, WIN-PROLOG, XSB, YAP.
dbp:influenced
dbr:Constraint_Handling_Rules dbr:Logtalk dbr:Clojure dbr:XSB dbr:Erlang_(programming_language) dbr:Visual_Prolog dbr:Strand_(programming_language) dbr:Oz_(programming_language) dbr:KL0 dbr:KL1 dbr:Mercury_(programming_language) dbr:Datalog
dbp:influencedBy
dbr:Planner_(programming_language)
dbp:latestReleaseVersion
Part 2: Modules-Edition 1 Part 1: General core-Edition 1
dbp:paradigm
dbr:Logic_programming
dbp:typing
Untyped
dbp:website
Part 1: Part 2:
dbo:abstract
Prolog (od francuskiego Programmation en Logique) – jeden z najpopularniejszych języków programowania logicznego. Prolog powstał jako język programowania służący do automatycznej analizy języków naturalnych, jest jednak językiem ogólnego zastosowania, szczególnie dobrze sprawdzającym się w programach związanych ze sztuczną inteligencją. Prolog w przeciwieństwie do większości popularnych języków jest językiem deklaratywnym. Program w Prologu składa się z zestawu klauzul, gdzie każda klauzula jest faktem lub regułą wnioskowania. Aby uruchomić program, należy wprowadzić odpowiednie zapytanie. Prolog jest językiem programowania służącym do rozwiązywania problemów, które dotyczą obiektów i relacji między obiektami. Mówiąc „John ma książkę.”, deklarujemy relacje między obiektem „John”, a drugim indywidualnym obiektem „książka”. Dodatkowo relacja określa konkretną kolejność: John jest właścicielem książki, a nie książka właścicielem Johna! Zadając pytanie „Czy John ma książkę?” chcemy dowiedzieć się o relacji między tymi dwoma obiektami. Dużo problemów może być wyrażonych określając obiekty i relacje między nimi. W Prologu „obiekt” odnosi się do bytu, który może być prezentowany przy użyciu termu. Ważne jest, aby zrozumieć, że reguły są zazwyczaj uproszczone i w rzeczywistości znaczą więcej niż zawiera to reguła. Prace nad projektem, dzięki któremu powstał Prolog rozpoczęły się już pod koniec 1970 roku, niemniej jednak wstępna wersja Prologu została stworzona w 1971 roku przez i . Systemy Q, a także doświadczenie nabyte przez Alaina Colmeraurera w trakcie ich wdrażania, miały znaczący wpływ na powstanie Prologu. Zalążka języka Prolog autorzy dopatrują się w artykule Alana Robinsona „Logika zorientowana maszynowo oparta na zasadzie rozdzielczości”, gdyż artykuł ten był źródłem prac na temat automatyzacji dowodzenia twierdzeń, a taka jest zasadniczo budowa Prolog. Prolog opiera się na rachunku predykatowym pierwszego rzędu, jednak ogranicza się tylko do klauzul Horna. Istnieją jednak wbudowane predykaty wyższego rzędu. Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique,​ es un lenguaje de programación lógico e interpretado usado habitualmente en el campo de la Inteligencia artificial. Prologo (angle Prolog, etimologie "PROgramado en LOGiko") estas programlingvo bazita sur la predikatkalkulo. En la 1970-aj jaroj, ĝi estis uzata precipe en projektoj de artefarita intelekto en Japanio. (Ial, en Usono kaj Eŭropo oni preferis Lispon por la sama fako.) Programo en Prologo estas kolekto de asertoj kaj reguloj. La asertoj konsistas el predikatoj, logikaj kaj konstantoj, kiuj kune formas datumbazon. La reguloj havas la formon de . Malgraŭ ĝia simpla kaj pure logika bazo, Prologo uzindas por diversaj specoj de programaro. Iam estis malvaste konata programo por instrui Esperanton al hispanparolantoj farita en Prologo. Prologo estas utila por (Constraint Logic Programming). Jen simpla montra programo kun klarigoj: %%%%% Asertojino(katrino). % Katrino estas ino.ino(elizabeto). % Elizabeto estas ino.ino(anabelo). % Anabelo estas ino.viro(georgo). % Georgo estas viro.viro(johano). % Johano estas viro.viro(benjameno). % Benjameno estas viro.ido(benjameno, georgo). % Benjameno estas ido de Georgo.ido(katrino, georgo). % Katrino estas ido de Georgo.ido(elizabeto, anabelo). % Elizabeto estas ido de Anabelo.gefratoj(georgo, anabelo). % Georgo kaj Anabelo estas gefratoj.%%%%% Regulojgefratoj(X,Y) :- ido(X,Z), ido(Y,Z), % Se X kaj Y havas saman patr(in)on X \= Y. % kaj ne estas sama persono, % estas gefratoj.patro(X,Y) :- ido(Y,X), viro(X). % Se Y estas ido de X, kaj se X estas % viro, X estas la patro de Y.patrino(X,Y) :- ido(Y,X), ino(X). % Se Y estas ido de X, kaj se X estas % ino, X estas la patrino de Y.fratino(X,Y) :- ino(X), gefratoj(X,Y). % Se X estas ino, kaj se X kaj Y estas % gefratoj, X estas la fratino de Y.onklo(X,Y) :- gefratoj(X,Z), ido(Y,Z), % Se X kaj Z estas gefratoj, kaj se Y estas viro(X). % ido de Z, kaj se X estas viro, X estas % la onklo de Y.nevino(X,Y) :- ino(X), onklo(Y,X). % Se X estas ino, kaj se Y estas la onklo % de X, X estas la nevino de Y.gekuzoj(X,Y) :- ido(X,A), ido(Y,B), % Se X estas la ido de A, kaj se Y estas gefratoj(A,B). % ido de B, kaj se A kaj B estas gefratoj, % X kaj Y estas gekuzoj. Do, se oni tajpus patrino(anabelo, elizabeto)., la programo respondus Jes. Se oni tajpus fratino(benjameno, elizabeto)., la programo respondus Ne. Prolog adalah bahasa atau di sebut juga sebagai . Namanya diambil dari bahasa Prancis programmation en logique (pemrograman logika). Bahasa ini diciptakan oleh dan sekitar tahun 1972 dalam upaya untuk menciptakan suatu bahasa pemrograman yang memungkinkan pernyataan logika alih-alih rangkaian perintah untuk dijalankan komputer. Berbeda dengan bahasa pemrograman yang lain, yang menggunakan algoritme konvensional sebagai teknik pencariannya seperti pada Delphi, Pascal, BASIC, COBOL dan bahasa pemrograman yang sejenisnya, maka prolog menggunakan teknik pencarian yang di sebut heuristik (heutistic) dengan menggunakan pohon logika. Prolog, ett programspråk för logikprogrammering. Prolog skiljer sig från de flesta andra programspråk i och med att det bygger på logiska uttryck och inte på instruktioner för datorn. Prolog används främst inom områdena artificiell intelligens och . Att programmera i Prolog liknar inte riktigt program skrivna i programspråk som till exempel C; språket är uppbyggt så att man i sitt program definierar klausuler som returnerar sant eller falskt. Man ställer sedan frågor till systemet som med hjälp av de klausuler man definierat kan dra slutsatser och svara på frågor. Teanga ríomhchláraithe ardleibhéil a úsáidtear ar loighic mhatamaiticiúil, go minic i bhfeidhmeanna intleachta saorga. Saothraíodh í in Aix-Marseille sa bhFrainc, Coláiste Impiriúil Londan, agus Dún Éideann. Cuireadh in ionad LISP do na feidhmeanna seo í, san Eoraip ar a laghad. Prolog (Programação Lógica) é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática. É uma linguagem de uso geral que é especialmente associada com a inteligência artificial e linguística computacional. Consiste numa linguagem puramente lógica, que pode ser chamada de Prolog puro, e numa linguagem concreta, a qual acrescenta o Prolog puro com componentes extra-lógicos. O uso Prolog puro foi originalmente restrito em provas do teorema da resolução com Cláusulas de Horn do formato H :- B<sub>1</sub>, …, B<sub>n</sub>.. A aplicação do provador de teoremas trata estas cláusulas como procedimentos para mostrar/resolver H, mostrar/resolver B<sub>1</sub> and … and B<sub>n</sub>. O Prolog puro foi então estendido para incluir a negação por falha, na qual condições negativas da forma not(Bi) são mostradas por tentativa e falha para resolver as condições positivas correspondentes Bi). O nome Prolog para a linguagem concreta foi escolhido por como uma abreviação de “PROgrammation en LOGique”. Foi criada em meados de 1972 por Alain Colmerauer e Philippe Roussel, baseados no conceito de da interpretação procedimental das cláusulas de Horn. A motivação para isso veio em parte da vontade de reconciliar o uso da lógica como uma linguagem declarativa de representação do conhecimento com a representação procedimental do conhecimento, que era popular na América do Norte no final da década de 1960 para início de 1970. Muito do desenvolvimento moderno do Prolog veio dos projetos de computadores da quinta geração (FGCS), que desenvolveu uma variante do Prolog chamada Kernel Language para seu primeiro sistema operacional. Apesar do longo tempo de desenvolvimento, Prolog ainda não é uma linguagem portável, já que cada implementação usa rotinas completamente diferentes e incompatíveis entre si. Por exemplo, um programa trivial que faz um loop de ler uma linha da console e escreve a mesma linha, terminando quando for entrada uma linha vazia, é impossível de ser escrito de forma que qualquer interpretador consiga rodar. Prolog est un langage de programmation logique. Le nom Prolog est un acronyme de PROgrammation en LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972 à Luminy, Marseille. Le but était de créer un langage de programmation où seraient définies les règles logiques attendues d'une solution et de laisser le compilateur la transformer en séquence d'instructions. L'un des gains attendus était une facilité accrue de maintenance des applications, l'ajout ou la suppression de règles au cours du temps n'obligeant pas à réexaminer toutes les autres. Prolog est utilisé en intelligence artificielle et dans le traitement linguistique par ordinateur (principalement langues naturelles). Ses règles de syntaxe et sa sémantique sont simples et considérées comme claires (un des objectifs poursuivis était de procurer un outil aux linguistes ignorant l’informatique). Les premiers résultats obtenus avec Prolog suscitèrent quelque temps, dans les années 1980, des recherches sur une cinquième génération, matérielle et logicielle, d'ordinateurs (nommée Cinquième génération japonaise en raison de l'engagement important du MITI sur le projet). L'effort engagé fut important, les retombées plus modestes, Prolog restant un langage parmi d'autres dans la panoplie du programmeur. Prolog est basé sur le calcul des prédicats du premier ordre ; cependant il est restreint dans sa version initiale à n’accepter que les clauses de Horn (les versions modernes de Prolog acceptent des prédicats plus complexes, notamment avec le traitement de la négation par l'échec). L’exécution d’un programme Prolog est effectivement une application du théorème prouvant par résolution du premier ordre. Les concepts fondamentaux sont l’unification, la récursivité et le retour sur trace. L'algorithme de résolution de Prolog est basé sur une extension de la SLD-résolution. On peut construire en Prolog une base de connaissances dans un ordre indéterminé, puisque seules comptent les relations en présence et non leur séquence d'écriture. Prolog peut ensuite résoudre des séries de problèmes logiques relatifs à une telle base de connaissances (notion base de données déductive), problème similaire à la recherche d'une issue (ou plusieurs) dans un labyrinthe de contraintes établies. Prolog (uit het Frans "programmation en logique", "programmeren met logica") is een logische programmeertaal. De taal is gebaseerd op predicatenlogica en heeft een sterk declaratief karakter. In plaats van de stappen die tot de oplossing van een probleem leiden, worden de voorwaarden waaraan de oplossing moet voldoen in logische termen beschreven. Vandaar dat Prolog een (grotendeels) declaratieve taal is. El Prolog (nom provinent dels mots francesos programation i logique) és un llenguatge de programació bastant popular en el medi d'investigació en intel·ligència artificial. Prolog je logický programovací jazyk. Patří mezi tzv. deklarativní programovací jazyky, ve kterých programátor popisuje pouze cíl výpočtu, přičemž přesný postup, jakým se k výsledku program dostane, je ponechán na libovůli systému. Prolog se snaží o pokud možno abstraktní vyjádření faktů a logických vztahů mezi nimi s potlačením imperativní složky. Prolog je využíván především v oboru umělé inteligence a v počítačové lingvistice (obzvláště zpracování přirozeného jazyka, pro nějž byl původně navržen). Syntaxe jazyka je velice jednoduchá a snadno použitelná právě proto, že byl původně určen pro počítačově nepříliš gramotné lingvisty. Prolog je založen na predikátové logice prvního řádu; konkrétně se omezuje na Hornovy klauzule. Běh programu je pak představován aplikací dokazovacích technik na zadané klauzule. Základními využívanými přístupy jsou unifikace, rekurze a backtracking. Prolog se dobře hodí pro specifické úlohy, které těží z logických dotazů založených na pravidlech, jako je prohledávání databází, systémy hlasového ovládání a vyplňování šablon. Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка. Язык сосредоточен вокруг небольшого набора основных механизмов, включая сопоставление с образцом, древовидного представления структур данных и автоматического перебора с возвратами. Хорошо подходит для решения задач, где рассматриваются объекты (в частности структурированные объекты) и отношения между ними. Пролог, благодаря своим особенностям, используется в области искусственного интеллекта, компьютерной лингвистики и нечислового программирования в целом. В некоторых случаях реализация символьных вычислений на других стандартных языках вызывает необходимость создавать большое количество кода, сложного в понимании, в то время как реализация тех же алгоритмов на языке Пролог даёт простую программу, легко помещающуюся на одной странице. Prolog является декларативным языком программирования: логика программы выражается в терминах отношений, представленных в виде фактов и правил. Для того чтобы инициировать вычисления, выполняется специальный запрос к базе знаний, на которые система логического программирования генерирует ответы «истина» и «ложь». Для обобщённых запросов с переменными в качестве аргументов созданная система Пролог выводит конкретные данные в подтверждение истинности обобщённых сведений и правил вывода. Иначе говоря, предикат можно определить как функцию, отображающую множество произвольной природы в множество булевых значений {ложно, истинно}. Задача пролог-программы заключается в том, чтобы доказать, является ли заданное целевое утверждение следствием из имеющихся фактов и правил. Prolog(プロログ)は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。一階述語論理と形式論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキの門弟のデヴィッド・ワーレンが1977年に改訂開発したエディンバラProlog(DEC-10 Prolog)が標準になってPrologは広く普及した。 Η Prolog είναι γλώσσα γενικής χρήσης που κυρίως χρησιμοποιείται στον τομέα της τεχνητής νοημοσύνης.Δημιουργήθηκε στις αρχές του 1970 από τους και .Το όνομα Prolog το έβγαλε ο συνεργάτης του Kowalski' Philippe Roussel και είναι συντομογραφία του γαλλικού «PROgramation et LOGique» («Προγραμματισμός και Λογική») . Prolog (vom Französischen: programmation en logique, dt.: „Programmieren in Logik“) ist eine Programmiersprache, die Anfang der 1970er-Jahre maßgeblich von dem französischen Informatiker Alain Colmerauer entwickelt wurde und ein deklaratives Programmieren ermöglicht. Sie gilt als die wichtigste logische Programmiersprache. Erste Implementierungen wichen in ihrer Syntax stark voneinander ab, aber der Edinburgh-Dialekt setzte sich bald als Quasistandard durch. Er war jedoch nicht formal definiert, bis er 1995 zur Grundlage eines ISO-Standards wurde (ISO/IEC 13211-1), der auch ISO-Prolog genannt wird. Der erste Prolog-Interpreter wurde in Marseille in ALGOL W realisiert. Der erste Ansatz für einen Compiler stammte von David H. D. Warren aus Edinburgh. Dieser hatte als Zielsprache die des Logik-Prozessors Warren’s Abstract Machine und erlaubte deshalb weder dynamische Änderungen noch einen Anschluss rücksetzbarer Prädikate in anderen Programmiersprachen. Der erste voll nutzbare Compiler, der beides erlaubte, wurde von Preben Folkjaer und Christian Pichler in München entwickelt. Er verwandte einen anderen, von der TU Wien stammenden, Zwischencode, der inkrementell kompiliert wurde; wurden Prädikate verändert, wurde das Kompilat gelöscht und beim nächsten Aufruf neu kompiliert. Prolog is a 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 intended primarily as a declarative programming language: 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 developed and implemented in Marseille, France, in 1972 by Alain Colmerauer with Philippe Roussel, based on Robert Kowalski's procedural interpretation of Horn clauses at University of Edinburgh. Prolog was one of the first logic programming languages and remains the most popular such language today, with several free and commercial implementations available. The language has been used for theorem proving, expert systems, term rewriting, type systems, and automated planning, as well as its original intended field of use, natural language processing. Modern Prolog environments support the creation of 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, англ. Prolog) — мова логічного програмування загального призначення, пов'язана зі штучним інтелектом та математичною лінгвістикою. Пролог має корені в логіці першого порядку, математичній логіці, та, на відміну від багатьох інших мов програмування, є декларативною: логіка програми виражається в термінах відношень, представлених як факти та правила. Обчислення ініціюється запуском запиту над цими відношеннями. Цю мову програмування спочатку було задумано групою навколо в Марселі на початку 1970-х, а першу систему Пролог було розроблено в 1972-му Аланом Кольмерое та . Пролог була однією з перших логічних мов програмування, й залишається найпопулярнішою серед таких мов і на сьогодні, маючи декілька безкоштовних та комерційних реалізацій. Її застосовували як для доведення теорем, експертних систем, так і для її початкової області призначення, обробки природної мови. Сучасні середовища Прологу підтримують як створення графічних інтерфейсів користувача, так і адміністративні або мережеві застосування. Пролог добре підходить для розв'язання специфічних задач, що виграю́ть від логічних запитів на базі правил, таких як пошук базами даних, системи голосового керування та заповнення шаблонів. البرولوغ (Prolog) هي لغة برمجة منطقية. الاسم مأخوذ من الفرنسية programmation en logique (برمجة المنطق)، تم اختراع اللغة بواسطة حوالي العام 1972. كانت محاولة لجعل لغة البرمجة قادرة على استخدام عبارات منطقية بدل أن تكون تعليمات محددة تلقن إلى الحاسوب. صممت اللغة أساسًا لتستخدم في عمل برامج معالجة اللغات الطبيعية. تستخدم لغة البرولوغ في العديد من برامج الذكاء الاصطناعي وبرامج معالجة اللغات الطبيعية. عبارات وقواعد اللغة تعتبر بسيطة جداً وواضحة (يتم كتابة البرنامج بالكامل باستخدام الحقائق والقواعد). العديد من الباحثين الذين يقودون تطبيقات حديثة للبرولوغ التي جاءت نتيجة استخدام نسخات مختلفة من البرولوغ كنواة في مشاريع أنظمة حاسوب الجيل الخامس (fifth generation computer systems اختصارًا FGCS). Il Prolog (contrazione del francese PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica. È stato ideato da Robert Kowalski (aspetto teorico), (dimostrazione sperimentale) e implementato da negli anni settanta, costituendo un tentativo di costruire un linguaggio di programmazione che consentisse l'espressione del problema in forma logica invece della traduzione di un algoritmo di soluzione in forma di istruzioni da eseguire da parte della macchina. L'attuale implementazione di Prolog è dovuta in gran parte all'efficiente codifica di , implementata tramite la sua Warren Abstract Machine (1983). Il Prolog è impiegato in molti programmi di intelligenza artificiale, la sua sintassi e la semantica sono molto semplici e chiare (lo scopo primitivo era quello di fornire uno strumento di lavoro a linguisti privi di conoscenze informatiche). Il Prolog si basa sul calcolo dei predicati (precisamente il calcolo di predicati del primo ordine); tuttavia la sintassi è limitata a formule dette clausole di Horn che sono disgiunzioni di letterali del primo ordine quantificate universalmente con al più un letterale positivo. L'esecuzione di un programma Prolog è comparabile alla dimostrazione di un teorema mediante la regola di inferenza detta risoluzione (introdotta da Robinson nel 1965). I concetti fondamentali sono l'unificazione, la ricorsione in coda e il backtracking. Molti linguaggi, come Datalog o AnsProlog, sono basati su Prolog. Prolog ( edo PROLOG), frantses jatorria (PROgrammation LOGique) duen programazio-lengoaia logiko interpretatu bat da. Adimen artifizialeko ikerketetan erabiltzen da. 프롤로그(Prolog)는 논리형 프로그래밍 언어이다. 이름은 '논리 프로그래밍'을 의미하는 프랑스어: programmation en logique에서 온 것이다. 1973년 프랑스 마르세유대학교의 (Alan Colmerauer)가 개발한 언어로서, 논리식을 토대로 하여 오브젝트와 오브젝트 간의 관계에 관한 문제를 해결하기 위해 사용한다. 프롤로그는 술어 논리식을 프로그램, 증명하는 것을 계산한다는 것으로 간주하는 관점에서 새로운 계산의 기술 형태를 취하고 있다. 즉, 프로그램 자체는 논리식의 모양으로 만들어지고, 그 프로그램을 실행하는 처리계가 그 증명기로 되어 있다. 추론 기구를 간결하게 표현할 수 있기 때문에 인공지능이나 계산 언어학 분야, 특히 프롤로그가 만들어진 목적이었던 자연언어 처리 분야에서 많이 사용된다. Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学的理论基础之上, 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。
dbp:dialects
ISO Prolog, Edinburgh Prolog
dbp:fileExt
, ,
gold:hypernym
dbr:Language
dbp:wordnet_type
n35:synset-programming_language-noun-1
prov:wasDerivedFrom
wikipedia-en:Prolog?oldid=1121337435&ns=0
dbo:wikiPageLength
65747
dbo:latestReleaseVersion
Part 1: General core-Edition 1 () Part 2: Modules-Edition 1 ()
dbo:influenced
dbr:Clojure dbr:Datalog dbr:KL0 dbr:KL1 dbr:Erlang_(programming_language) dbr:Oz_(programming_language) dbr:XSB dbr:Strand_(programming_language) dbr:Visual_Prolog dbr:Constraint_Handling_Rules dbr:Logtalk dbr:Mercury_(programming_language)
dbo:influencedBy
dbr:Planner_(programming_language)
foaf:isPrimaryTopicOf
wikipedia-en:Prolog
Subject Item
dbr:Protocol_Buffers
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Q-systems
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:QuickCheck
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Rosetta_Code
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Ross_Overbeek
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:School_of_Informatics,_University_of_Edinburgh
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_arbitrary-precision_arithmetic_software
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_computer_scientists
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_concurrent_and_parallel_programming_languages
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_filename_extensions_(M–R)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:METEO_System
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Memoization
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Minion_(solver)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Natural-language_understanding
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Negation_as_failure
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Operator_associativity
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Tail_call
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Probabilistic_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Progol
owl:differentFrom
dbr:Prolog
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Prograph
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:David_Webber
dbo:wikiPageWikiLink
dbr:Prolog
dbo:knownFor
dbr:Prolog
Subject Item
dbr:Declarative_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Design_patterns_in_Prolog
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:Answer_set_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Antonio_Luz_Furtado
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:History_of_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_Occitans
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_SRI_International_people
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_University_of_Edinburgh_people
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_important_publications_in_theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Robert_Kowalski
dbo:wikiPageWikiLink
dbr:Prolog
dbp:knownFor
dbr:Prolog
dbo:knownFor
dbr:Prolog
Subject Item
dbr:Cut-elimination_theorem
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:D3web
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Underscore
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Unification_(computer_science)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Vadalog
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Virtuoso_Universal_Server
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Visual_Prolog
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:David_H._D._Warren
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Deductive_database
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Deductive_language
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Default_logic
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Definite_clause_grammar
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:ECL_(data-centric_programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:Incremental_compiler
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Index_of_computing_articles
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Inductive_logic_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Inductive_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Inequation
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Inference
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Inference_engine
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Interpreter_(computing)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Jan_Wielemaker
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
n17:Class_Q_--_Science
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_in-memory_databases
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_language_bindings_for_GTK
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_programmers
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_programming_language_researchers
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_programming_languages_by_type
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_programming_languages_for_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_reflective_programming_languages_and_platforms
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Programming_language_specification
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Prolog++
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Prolog32
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Reasoning_system
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Timeline_of_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:%22Hello,_World!%22_program
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Comma
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Common_Lisp
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Comparison_of_programming_paradigms
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Compiler
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Compiler_Description_Language
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Constraint_Handling_Rules
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:Cornelis_H._A._Koster
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Rust_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:SNOBOL
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:SWI-Prolog
dbo:wikiPageWikiLink
dbr:Prolog
dbp:programmingLanguage
dbr:Prolog
dbo:programmingLanguage
dbr:Prolog
Subject Item
dbr:Essentials_of_Programming_Languages
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Gecode
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:General-purpose_macro_processor
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Generational_list_of_programming_languages
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Nominal_terms_(computer_science)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Ciao_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:Clojure
dbo:wikiPageWikiLink
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:Ehud_Shapiro
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Fril
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Full_stop
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:GNU_Prolog
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:GOLOG
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:GeneXus
dbo:wikiPageWikiLink
dbr:Prolog
dbp:programmingLanguage
dbr:Prolog
dbo:programmingLanguage
dbr:Prolog
Subject Item
dbr:Genera_(operating_system)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Glossary_of_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Glossary_of_computer_science
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Go!_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:Graph_database
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Modula-2
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Modulo_operation
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Conflict_resolution_strategy
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Constraint_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Constraint_satisfaction
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Continuation
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Coroutine
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Cris_Kobryn
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:The_Secretaries
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:LR_parser
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:SPOJ
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Mercury_(programming_language)__Mercury__1
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:Berkeley_RISC
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Lego_Mindstorms
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Less-than_sign
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Linda_(coordination_language)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:LispWorks
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Ljubuški
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Logic
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Logic_Programming_Associates
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Logtalk
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:MDL_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influenced
dbr:Prolog
dbo:influenced
dbr:Prolog
Subject Item
n26:SP
dbo:wikiPageWikiLink
dbr:Prolog
dbo:programmingLanguage
dbr:Prolog
Subject Item
dbr:Call-with-current-continuation
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Smalltalk
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Smultron
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Standard_ML
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Clause_(logic)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Common_operator_notation
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Comparison_of_Prolog_implementations
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Comparison_of_open-source_programming_language_licensing
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Comparison_of_programming_languages
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Comparison_of_programming_languages_(associative_array)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Comparison_of_programming_languages_(syntax)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Comparison_of_programming_languages_by_type_system
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Computer_program
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:ZX_Spectrum_software
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Feature_structure
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Function_object
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Horn_clause
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Yet_another
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Operator_overloading
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:PL
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageDisambiguates
dbr:Prolog
Subject Item
dbr:Portable_computer
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Programming_language_theory
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Strand_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:String_(computer_science)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Mutual_recursion
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Occurs_check
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Buran_programme
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Timeline_of_computing_1950–1979
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Timeline_of_programming_languages
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:UKNC
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Web_Ontology_Language
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Document-oriented_database
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Futures_and_promises
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:GOAL_agent_programming_language
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Janus_(time-reversible_computing_programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Logic_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Logico-linguistic_modeling
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Prolog_syntax_and_semantics
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Abstract_state_machine
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Actor_model_later_history
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Aix-Marseille_University
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Alain_Colmerauer
dbo:wikiPageWikiLink
dbr:Prolog
dbp:knownFor
dbr:Prolog
dbo:knownFor
dbr:Prolog
Subject Item
dbr:AllegroGraph
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Allegro_Common_Lisp
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:3APL
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Akeakamai
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Curry_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Cut_(logic_programming)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Cuthbert_Hurd
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Cygwin
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Datalog
dbo:wikiPageWikiLink
dbr:Prolog
dbp:family
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:Dynamic_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Dynamic_programming_language
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:ECLiPSe
dbo:wikiPageWikiLink
dbr:Prolog
dbo:programmingLanguage
dbr:Prolog
Subject Item
dbr:Eclipse_(software)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Erlang_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:Exception_handling
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:First-order_logic
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Nissim_Francez
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:North_Side_Inc
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Oz_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:POP-2
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Difference_list
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Dis-unification_(computer_science)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Fold_(higher-order_function)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Foreach_loop
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:History_of_programming_languages
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:History_of_software
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:History_of_software_engineering
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:It's_Geek_2_Me
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:KL0
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:KL1
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Knowledge_processing_for_robots
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_French_inventions_and_discoveries
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_International_Organization_for_Standardization_standards,_12000-13999
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_JVM_languages
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Programming_language_generations
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Tower_of_Hanoi
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Procedural_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Production_system_(computer_science)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Prologue_(disambiguation)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Prova
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Region-based_memory_management
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Reification_(computer_science)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Hindley–Milner_type_system
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Ivan_Bratko_(computer_scientist)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Jean_Gallier
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Backtracking
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Backward_chaining
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:TerminusDB
dbo:wikiPageWikiLink
dbr:Prolog
dbp:programmingLanguage
dbr:Prolog
dbo:programmingLanguage
dbr:Prolog
Subject Item
dbr:Tgif_(program)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Twelf
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Snake_case
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Arden_syntax
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Artificial_intelligence
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Atari_ST
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Abstract_machine
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Absys
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influenced
dbr:Prolog
dbo:influenced
dbr:Prolog
Subject Item
dbr:Jess_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:John_Alan_Robinson
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Keith_Clark_(computer_scientist)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Swedish_Institute_of_Computer_Science
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Symbolic_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:HiLog
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:High-level_language_computer_architecture
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Higher-order_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Homoiconicity
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Termination_analysis
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Model_elimination
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Uninterpreted_function
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
n63:_A_Modern_Approach
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Aspect-oriented_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Assignment_(computer_science)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:B-Prolog
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:CHIP_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:CLACL
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:CLP(R)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:PicoLisp
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Planner_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influenced
dbr:Prolog
dbo:influenced
dbr:Prolog
Subject Item
dbr:Class_browser
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Fifth_Generation_Computer_Systems
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Filter_(higher-order_function)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Guillotine_cutting
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Indeterminacy_in_concurrent_computation
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Mercury_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
Subject Item
dbr:Meta-interpreters_in_Prolog
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:Metaclass
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Metaprogramming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Michigan_Terminal_System
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Bruce_Tate
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:OpenL_Tablets
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Operator_(computer_programming)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Case_sensitivity
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Refal
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Wolfram_Language
dbo:wikiPageWikiLink
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:WordNet
dbo:wikiPageWikiLink
dbr:Prolog
dbp:programmingLanguage
dbr:Prolog
dbo:programmingLanguage
dbr:Prolog
Subject Item
dbr:XQuery
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:XSB
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:YAP_(Prolog)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Wolfgang_Bibel
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:List_of_command-line_interpreters
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Macro_(computer_science)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Map_(higher-order_function)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Meta-circular_evaluator
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Pattern_matching
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:SLD_resolution
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Serialization
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Sigil_(computer_programming)
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Van_Wijngaarden_grammar
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Warren_Abstract_Machine
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Expert_system
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Exploratory_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Extended_affix_grammar
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:IBM_Watson
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
n39:IEC_13211
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
n39:IEC_13211-1
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
n39:IEC_13211-2
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
n65:SC_22
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Immutable_object
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Livanjsko_Polje
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:KCM
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Programming_language
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:The_Hacker_Files
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:ObjVlisp
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Eurotra
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Event_calculus
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Natural-language_user_interface
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Racket_features
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Nondeterministic_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Recursive_ascent_parser
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Symbol_table
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Semantic_parsing
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Set-builder_notation
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Norman_Paton
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Poplog
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Stable_model_semantics
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:ΛProlog
dbo:wikiPageWikiLink
dbr:Prolog
dbp:influencedBy
dbr:Prolog
dbo:influencedBy
dbr:Prolog
Subject Item
dbr:PROLOG
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:Outline_of_computer_science
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Outline_of_software_engineering
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:POP-11
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Tuple_space
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:SICStus_Prolog
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:Symbolic_programming
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:Turing_completeness
dbo:wikiPageWikiLink
dbr:Prolog
Subject Item
dbr:PROLOG_programming_language
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:SICStus
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:Criticism_of_Prolog
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:Prolog-MPI
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:Prolog_(programming_language)
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:Prolog_II
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:Prolog_language
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:Prolog_programming_language
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:Prologue_language
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:ISO-Prolog
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
dbr:ISO_Prolog
dbo:wikiPageWikiLink
dbr:Prolog
dbo:wikiPageRedirects
dbr:Prolog
Subject Item
wikipedia-en:Prolog
foaf:primaryTopic
dbr:Prolog