About: dbpedia-fr:MOLOG

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:MOLOG Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q9143, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdf:type	Thing language programming language schema:Language wikidata:Q315 wikidata:Q9143
rdfs:label	MOLOG (fr)
rdfs:comment	MOLOGest une généralisation du langage Prolog permettant d'étendre le paradigme de la Programmation logique à la logique non classique et en particulier à la logique modale, la ou la logique temporelle. Le nom MOLOG est un acronyme de MOdal LOGic et également une référence à l'acronyme PROLOG, PROgrammation LOGique. Il a été créé par , et Jean-Marc Alliot entre 1986 et 1994. (fr)
sameAs	wikidata:Q3273110 http://g.co/kg/g/122sg160
Wikipage page ID	6086987 (xsd:integer)
Wikipage revision ID	147497144 (xsd:integer)
dbo:wikiPageWikiLink	1986 1993 dbpedia-fr:1994 dbpedia-fr:Acronymie First-order logic category-fr:Langage_de_programmation Horn clause dbpedia-fr:Jean-Marc_Alliot dbpedia-fr:Logique_modale dbpedia-fr:Logique_non_classique dbpedia-fr:Logique_temporelle dbpedia-fr:Programmation_logique dbpedia-fr:Prolog dbpedia-fr:Modus_ponens dbpedia-fr:Andreas_Herzig dbpedia-fr:Logique_aléthique dbpedia-fr:Luis_Farinas_Del_Cerro dbpedia-fr:Luis_Fariñas_Del_Cerro dbpedia-fr:N-Prolog dbpedia-fr:Templog dbpedia-fr:Temporal_Prolog
Link from a Wikipage to an external page	http://www.alliot.fr/code/molog.tgz
page length (characters) of wiki page	10149 (xsd:nonNegativeInteger)
dct:subject	category-fr:Langage_de_programmation
foaf:name	Molog (fr)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Infobox_Langage_de_programmation dbpedia-fr:Modèle:Palette_Langages_de_programmation
prov:wasDerivedFrom	wikipedia-fr:MOLOG?oldid=147497144&ns=0
prop-fr:auteur	Luis Farinas Del Cerro, Andreas Herzig et Jean-Marc Alliot (fr)
prop-fr:nom	Molog (fr)
prop-fr:dateDeDernièreVersion	1993 (xsd:integer)
prop-fr:dateDePremièreVersion	1986 (xsd:integer)
prop-fr:paradigme	dbpedia-fr:Programmation_logique
foaf:isPrimaryTopicOf	wikipedia-fr:MOLOG
has abstract	MOLOGest une généralisation du langage Prolog permettant d'étendre le paradigme de la Programmation logique à la logique non classique et en particulier à la logique modale, la ou la logique temporelle. Le nom MOLOG est un acronyme de MOdal LOGic et également une référence à l'acronyme PROLOG, PROgrammation LOGique. Il a été créé par , et Jean-Marc Alliot entre 1986 et 1994. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Jean-Marc_Alliot dbpedia-fr:Prolog
is oa:hasTarget of	Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:MOLOG

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software