gprolog.org rapport :   Visitez le site

Données techniques du gprolog.org

Geo IP vous fournit comme la latitude, la longitude et l'ISP (Internet Service Provider) etc. informations. Notre service GeoIP a trouvé l'hôte gprolog.org.Actuellement, hébergé dans France et son fournisseur de services est Universite Paris 1 Pantheon - Sorbonne .

the related websites

domaine	Titre
prolog-ingenierie.fr	prolog ingénierie - prolog ingénierie, un bureau d’études pour vos projets dans
gprolog.org	the gnu prolog web site
seopageoptimizer.fr	SEO Page Optimizer : optimisez le contenu de votre site web
web-asi.fr	WEB-ASI
soft-web.fr	soft-web.fr
webip.fr	Ines - Développeuse Web
logistiqueprolog.com	logistique prolog - réceptions - stockage - préparations commandes - expéditions
prelive.fr	www.prelive.fr | 521: Web server is down
laraigneeduweb.fr	L'araignée du web - Tissez votre toile
plushabbo.fr	Free-h.org - Hébergement Web - VPS - Serveur Dédié
garageveniel.fr	garageveniel.fr | 520: Web server is returning an unknown error
labricotbleu.fr	www.labricotbleu.fr | 520: Web server is returning an unknown error
apps.fr	www.apps.fr | 520: Web server is returning an unknown error
izishopping.com	créer un site mobile, un site e-commerce ou des services avancés pour un site iz
machettodouglas.com	création site internet thonon, evian – site e commerce, site de présentation, pm

biomnis.com constancemenard.over-blog.com aquariomania.net terre-net-occasions.fr cheval-sa.com 

Analyse d'en-tête HTTP

Les informations d'en-tête HTTP font partie du protocole HTTP que le navigateur d'un utilisateur envoie à appelé Apache/2.4.10 (Debian) contenant les détails de ce que le navigateur veut et acceptera de nouveau du serveur Web.

DNS

HtmlToText

current stable version is gprolog-1.4.5 table of contents what is gnu prolog ? features how does gnu prolog work ? history supported platforms & last changes manual download contributions and related developments mailing lists reporting bugs what is gnu prolog gnu prolog is a free prolog compiler with constraint solving over finite domains developed by daniel diaz . gnu prolog accepts prolog+constraint programs and produces native binaries (like gcc does from a c source). the obtained executable is then stand-alone. the size of this executable can be quite small since gnu prolog can avoid to link the code of most unused built-in predicates. the performances of gnu prolog are very encouraging (comparable to commercial systems). beside the native-code compilation, gnu prolog offers a classical interactive interpreter (top-level) with a debugger. the prolog part conforms to the iso standard for prolog with many extensions very useful in practice (global variables, os interface, sockets,...). gnu prolog also includes an efficient constraint solver over finite domains (fd). this opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. features prolog system: conforms to the iso standard for prolog (floating point numbers, streams, dynamic code,...). a lot of extensions: global variables, definite clause grammars (dcg), sockets interface, operating system interface,... more than 300 prolog built-in predicates. prolog debugger and a low-level wam debugger. line editing facility under the interactive interpreter with completion on atoms. powerful bidirectional interface between prolog and c. compiler: native-code compiler producing stand alone executables. simple command-line compiler accepting a wide variety of files: prolog files, c files, wam files,... direct generation of assembly code 15 times faster than wamcc + gcc. most of unused built-in predicates are not linked (to reduce the size of the executables). compiled predicates (native-code) as fast as wamcc on average. consulted predicates (byte-code) 5 times faster than wamcc. constraint solver: fd variables well integrated into the prolog environment (full compatibility with prolog variables and integers). no need for explicit fd declarations. very efficient fd solver (comparable to commercial solvers). high-level constraints can be described in terms of simple primitives. a lot of predefined constraints: arithmetic constraints, boolean constraints, symbolic constraints, reified constraints,... several predefined enumeration heuristics. the user can define his own new constraints. more than 50 fd built-in constraints/predicates. how does gnu prolog work ? the gnu prolog compiler is based on the warren abstract machine (wam). it first compiles a prolog program to a wam file which is then translated to a low-level machine independent language called mini-assembly specifically designed for gnu prolog. the resulting file is then translated to the assembly language of the target machine (from which an object is obtained). this allows gnu prolog to produce a native stand alone executable from a prolog source (similarly to what does a c compiler from a c program). the main advantage of this compilation scheme is to produce native code and to be fast. another interesting feature is that executables are small. indeed, the code of most unused built-in predicates can be excluded from the executables at link-time. gnu prolog also includes an efficient constraint solver over finite domains (fd). the key feature of the gnu prolog solver is the use of a single (low-level) primitive to define all (high-level) fd constraints. there are many advantages of this approach: constraints can be compiled, the user can define his own constraints (in terms of the primitive), the solver is open and extensible (as opposed to black-box solvers like chip),...moreover, the gnu prolog solver is rather efficient, often more than commercial solvers. history gnu prolog is inspired by two systems developed by the same author: wamcc : a prolog to c compiler. the key point of wamcc was its ability to produce stand alone executables using an original compilation scheme: the translation of prolog to c via the wam. its drawback was the time needed by gcc to compile the produced sources. gnu prolog can also produce standalone executables but using a faster compilation scheme. clp(fd) : a constraint programming language over fd. its key feature was the use of a single primitive to define fd constraints. gnu prolog is based on the same idea but extends the power of primitive to make it possible more complex constraint definitions. in comparison to clp(fd), gnu prolog offers new predefined constraints, new predefined heuristics, reified constraints,... the development of gnu prolog started in january 1996 under the name calypso. supported platforms & last changes currently the following architectures are supported: ix86 / gnu/linux ix86 / win32 using cygwin (see file src/windows) ix86 / win32 using mingw (see file src/windows) ix86 / win32 using msvc++ (see file src/windows) ix86 / sco ix86 / solaris ix86 / freebsd ix86 / openbsd ix86 / netbsd ix86 / darwin (mac os x) x86_64 / gnu/linux x86_64 / solaris x86_64 / win64 using mingw64 (see file src/windows64) x86_64 / win64 using msvc++ (see file src/windows64) x86_64 / darwin (mac os x) powerpc / gnu/linux powerpc / darwin (mac os x) powerpc / netbsd sparc / sunos (4.1.3 or higher) sparc / solaris sparc / netbsd alpha / gnu/linux alpha / osf1 mips / irix if you are interested in porting gnu prolog to another architecture read the porting file in src. you can consult the following files: the general readme file. the news file. the changelog file. manual this manual is available in the following formats: html entirely on one web page html with one web page per chapter html compressed entirely on one web page (gzipped tar file) html compressed with one web page per chapter (gzipped tar file) pdf postscript microsoft htmlhelp (chm) version tex dvi (gzipped tar file) download we provide both source and binary distributions for gnu prolog. source distributions: the main source distribution gprolog-1.4.5.tar.gz . binary distributions: mac os x high sierra installer package (created using macports by paulo moura: installs gnu prolog in /opt/local/ and /opt/local/bin). windows intel 32 bits auto-install setup (compiled under ix86 / windows 7 with msvc++). windows intel 32 bits auto-install setup (compiled under ix86 / windows 7 with mingw gcc under msys). windows intel 64 bits auto-install setup (compiled under x86_64 / windows 7 with msvc++). windows intel 64 bits auto-install setup (compiled under x86_64 / windows 7 with mingw64 gcc under cygwin). other versions: old versions can be found in this directory . unstable versions can be found in this directory . some of these files can also be downloaded from the primary gnu ftp site or from any mirror . the git repository is hosted by sourceforge. for windows users, a notepad++ user defined lanuage (udl) profile file for gnu prolog (also available from the notepad++ wiki about udl ). to install: launch notepad++, in the "language" menu, chose "define your own language", click on "import" and select the downloaded .xml file. then close and restart notepad++. files suffixed with ".pl" and ".pro" should be now recognized as prolog files (else select "prolog (gnu)" from the "languages" menu). for more information see the notepad++ wiki . gnu prolog is present on the ohloh site . contributions and related developments contributions are welcome. if you want to include your contribution please post a mail to users-prolog@gnu.org (for more information on this list click here ). here is a list of available contributions: bedevere - a swig wrapper clip - a clp(intervals) interpreter clpgui - a graphical user interface for clp cti - a constrained-based left termination inference too

Analyse PopURL pour gprolog.org

http://www.gprolog.org/#tochead
http://www.gprolog.org/setup-gprolog-1.4.5-mingw-x86.exe
http://www.gprolog.org/#bug-list-usage
http://www.gprolog.org/setup-gprolog-1.4.5-msvc-x86.exe
http://www.gprolog.org/#contribs
http://www.gprolog.org/manual/gprolog.pdf
http://www.gprolog.org/readme
http://www.gprolog.org/manual/gprolog.ps
http://www.gprolog.org/#manual
http://www.gprolog.org/#feature
http://www.gprolog.org/news
http://www.gprolog.org/#whatis
http://www.gprolog.org/#download
http://www.gprolog.org/setup-gprolog-1.4.5-msvc-x64.exe
http://www.gprolog.org/gprolog-1.4.5.tar.gz
crinfo.univ-paris1.fr
contraintes.inria.fr

Informations Whois

Whois est un protocole qui permet d'accéder aux informations d'enregistrement.Vous pouvez atteindre quand le site Web a été enregistré, quand il va expirer, quelles sont les coordonnées du site avec les informations suivantes. En un mot, il comprend ces informations;

Domain Name: GPROLOG.ORG
Registry Domain ID: D135031176-LROR
Registrar WHOIS Server:
Registrar URL: http://www.ovh.com
Updated Date: 2016-10-15T08:12:06Z
Creation Date: 2006-12-14T11:13:10Z
Registry Expiry Date: 2018-12-14T11:13:10Z
Registrar Registration Expiration Date:
Registrar: OVH
Registrar IANA ID: 433
Registrar Abuse Contact Email:
Registrar Abuse Contact Phone:
Reseller:
Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registry Registrant ID: C184063216-LROR
Registrant Name: Daniel Diaz
Registrant Organization:
Registrant Street: 23 Rue de Montreuil
Registrant City: Paris
Registrant State/Province:
Registrant Postal Code: 75011
Registrant Country: FR
Registrant Phone: +33.872391024
Registrant Phone Ext:
Registrant Fax:
Registrant Fax Ext:
Registrant Email: daniel.diaz@univ-paris1.fr
Registry Admin ID: C184063218-LROR
Admin Name: DANIEL DIAZ
Admin Organization:
Admin Street: 212 RUE DU FAUBOURG SAINT ANTOINE
Admin City: PARIS
Admin State/Province:
Admin Postal Code: 75012
Admin Country: FR
Admin Phone: +33.616936109
Admin Phone Ext:
Admin Fax:
Admin Fax Ext:
Admin Email: daniel.diaz@univ-paris1.fr
Registry Tech ID: C184063218-LROR
Tech Name: DANIEL DIAZ
Tech Organization:
Tech Street: 212 RUE DU FAUBOURG SAINT ANTOINE
Tech City: PARIS
Tech State/Province:
Tech Postal Code: 75012
Tech Country: FR
Tech Phone: +33.616936109
Tech Phone Ext:
Tech Fax:
Tech Fax Ext:
Tech Email: daniel.diaz@univ-paris1.fr
Name Server: DNS200.ANYCAST.ME
Name Server: NS200.ANYCAST.ME
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of WHOIS database: 2017-08-28T21:37:38Z <<<

For more information on Whois status codes, please visit https://icann.org/epp

Access to Public Interest Registry WHOIS information is provided to assist persons in determining the contents of a domain name registration record in the Public Interest Registry registry database. The data in this record is provided by Public Interest Registry for informational purposes only, and Public Interest Registry does not guarantee its accuracy. This service is intended only for query-based access. You agree that you will use this data only for lawful purposes and that, under no circumstances will you use this data to: (a) allow, enable, or otherwise support the transmission by e-mail, telephone, or facsimile of mass unsolicited, commercial advertising or solicitations to entities other than the data recipient's own existing customers; or (b) enable high volume, automated, electronic processes that send queries or data to the systems of Registry Operator, a Registrar, or Afilias except as reasonably necessary to register domain names or modify existing registrations. All rights reserved. Public Interest Registry reserves the right to modify these terms at any time. By submitting this query, you agree to abide by this policy.

  REFERRER http://www.pir.org/

  REGISTRAR Public Interest Registry

SERVERS

  SERVER org.whois-servers.net

  ARGS gprolog.org

  PORT 43

  TYPE domain
RegrInfo
DOMAIN

  NAME gprolog.org

  HANDLE D135031176-LROR

  CREATED 2006-12-14

STATUS
clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited
clientTransferProhibited https://icann.org/epp#clientTransferProhibited

NSERVER

  DNS200.ANYCAST.ME 46.105.206.200

  NS200.ANYCAST.ME 46.105.207.200

OWNER

  HANDLE C184063216-LROR

  NAME Daniel Diaz

ADDRESS

STREET
23 Rue de Montreuil

  CITY Paris

  PCODE 75011

  COUNTRY FR

  PHONE +33.872391024

  EMAIL daniel.diaz@univ-paris1.fr

ADMIN

  HANDLE C184063218-LROR

  NAME DANIEL DIAZ

ADDRESS

STREET
212 RUE DU FAUBOURG SAINT ANTOINE

  CITY PARIS

  PCODE 75012

  COUNTRY FR

  PHONE +33.616936109

  EMAIL daniel.diaz@univ-paris1.fr

TECH

  HANDLE C184063218-LROR

  NAME DANIEL DIAZ

ADDRESS

STREET
212 RUE DU FAUBOURG SAINT ANTOINE

  CITY PARIS

  PCODE 75012

  COUNTRY FR

  PHONE +33.616936109

  EMAIL daniel.diaz@univ-paris1.fr

  REGISTERED yes

Erreurs

La liste suivante vous montre les fautes d'orthographe possibles des internautes pour le site Web recherché.