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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n4http://g.co/kg/m/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n9http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n16http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Lambda_Prolog
rdf:type
wikidata:Q315 schema:Language dbo:Language wikidata:Q9143 owl:Thing dbo:ProgrammingLanguage
rdfs:label
ΛProlog Lambda Prolog
rdfs:comment
λProlog ou lambda Prolog est un langage de programmation logique dérivé de Prolog. λProlog est une double extension de Prolog, dans un premier temps, en rajoutant les λ-termes et dans un second temps avec l'ajout de nouveaux connecteurs tels que l'implication et le quantificateur universel.Lambda Prolog introduit également la notion de type simple.
owl:sameAs
n4:0ck3wr dbr:ΛProlog wikidata:Q3594646 n16:2778045584
dbo:wikiPageID
4921634
dbo:wikiPageRevisionID
187987696
dbo:wikiPageWikiLink
dbpedia-fr:Langage_de_programmation dbpedia-fr:Programmation_logique category-fr:Langage_de_programmation dbpedia-fr:Lambda-calcul dbpedia-fr:Prolog
dbo:wikiPageLength
994
dct:subject
category-fr:Langage_de_programmation
prop-fr:wikiPageUsesTemplate
n9:Portail n9:Références n9:Minuscule n9:Ébauche
prov:wasDerivedFrom
wikipedia-fr:Lambda_Prolog?oldid=187987696&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Lambda_Prolog
dbo:abstract
λProlog ou lambda Prolog est un langage de programmation logique dérivé de Prolog. λProlog est une double extension de Prolog, dans un premier temps, en rajoutant les λ-termes et dans un second temps avec l'ajout de nouveaux connecteurs tels que l'implication et le quantificateur universel.Lambda Prolog introduit également la notion de type simple.