@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://data.loterre.fr/ark:/67375/23L> a skos:ConceptScheme .
<http://data.loterre.fr/ark:/67375/23L-S5LG0Q55-P>
  skos:prefLabel "programming language"@en, "langage de programmation"@fr ;
  a skos:Concept ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-MMNL6P79-J> .

<http://data.loterre.fr/ark:/67375/23L-MMNL6P79-J>
  skos:prefLabel "PROLOG"@fr, "PROLOG"@en ;
  dc:modified "2025-09-03T08:57:24"^^xsd:dateTime ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/23L> ;
  skos:definition "langage de programmation (créé à Marseille en 1972 par Alain Colmerauer et Philippe Roussel) basé sur la logique du premier ordre. PROLOG est un langage déclaratif, c’est-à-dire que, idéalement, l’utilisateur n’a qu’à décrire le problème, sans se soucier de sa méthode de résolution (contrairement à la plupart des langages de programmation). (Source :  <a href=\"https://ia.gdria.fr/Glossaire/prolog/\">https://ia.gdria.fr/Glossaire/prolog/</a> )"@fr, "programming language (created in Marseille in 1972 by Alain Colmerauer and Philippe Roussel) based on first-order logic. PROLOG is a declarative language, meaning that, ideally, the user only has to describe the problem, without having to consider how to solve it (unlike most programming languages). (Source: translated from  <a href=\"https://ia.gdria.fr/Glossaire/prolog/\">https://ia.gdria.fr/Glossaire/prolog/</a> )"@en ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-S5LG0Q55-P> ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-MRXHHMWN-W>, <http://data.loterre.fr/ark:/67375/23L-M1RLFVVN-5> ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Prolog>, <https://en.wikipedia.org/wiki/Prolog>, <https://www.wikidata.org/wiki/Q163468> ;
  a skos:Concept .

<http://data.loterre.fr/ark:/67375/23L-MRXHHMWN-W>
  skos:prefLabel "logique de premier ordre"@fr, "first-order logic"@en ;
  a skos:Concept ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-MMNL6P79-J> .

<http://data.loterre.fr/ark:/67375/23L-M1RLFVVN-5>
  skos:prefLabel "intelligence artificielle symbolique"@fr, "symbolic artificial intelligence"@en ;
  a skos:Concept ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-MMNL6P79-J> .

