HTTP/2 200
date: Fri, 10 Oct 2025 08:43:41 GMT
content-type: text/html; charset=utf-8
content-security-policy-report-only: default-src 'self';img-src 'self' data: https://flickr.com https://*.flickr.com https://s.gravatar.com https://s.gravatar.com/avatar https://secure.gravatar.com/avatar https://i1.wp.com/cdn.auth0.com/avatars https://cdn.auth0.com/avatars https://g.stripe.com/ https://ssl.google-analytics.com https://pagead2.googlesyndication.com https://pbs.twimg.com/profile_images/ https://farm66.static.flickr.com https://www.google-analytics.com https://tpc.googlesyndication.com https://pbs.twimg.com https://securepubads.g.doubleclick.net https://*.amazon-adsystem.com https://fundingchoicesmessages.google.com https://*.3lift.com https://ams-pageview-public.s3.amazonaws.com https://www.google.com https://syndication.twitter.com https://image8.pubmatic.com https://googleads.g.doubleclick.net https://*.googleusercontent.com;base-uri 'self';font-src 'self' https: data:;frame-ancestors 'self';frame-src https://js.stripe.com https://platform.twitter.com/ https://syndication.twitter.com/ https://tpc.googlesyndication.com/ https://*.safeframe.googlesyndication.com/ https://www.google.com/ https://googleads.g.doubleclick.net/;connect-src 'self' https: https://securepubads.g.doubleclick.net/pagead/ppub_config https://bam.nr-data.net/events/1/cb925c8058;object-src none;script-src 'self' 'unsafe-inline' report-sample https://js.stripe.com/v3/ https://code.jquery.com/jquery-1.12.4.min.js https://code.jquery.com/jquery-3.4.1.slim.min.js https://code.jquery.com/jquery-migrate-1.4.1.min.js https://cdn.jsdelivr.net/npm/popper.js@1.16.0/dist/umd/popper.min.js https://stackpath.bootstrapcdn.com/bootstrap/4.4.1/js/bootstrap.min.js https://cdnjs.cloudflare.com/ajax/libs/validate.js/0.13.1/validate.min.js https://cdnjs.cloudflare.com/ajax/libs/underscore.js/1.8.3/underscore-min.js https://cdnjs.cloudflare.com/ajax/libs/list.js/1.5.0/list.min.js https://www.googletagmanager.com/gtag/js https://www.googletagmanager.com/ https://ssl.google-analytics.com/ga.js https://js-agent.newrelic.com/nr-spa-1184.min.js https://fundingchoicesmessages.google.com https://bam.nr-data.net https://securepubads.g.doubleclick.net https://www.googletagservices.com https://adservice.google.com https://cdnjs.cloudflare.com/ajax/libs/tether/1.4.0/js/tether.min.js https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.12.9/umd/popper.min.js https://cdn.jsdelivr.net/npm/clipboard@2.0.8/dist/clipboard.min.js https://platform.twitter.com/widgets.js https://cdnjs.cloudflare.com/ajax/libs/howler/2.1.1/howler.min.js https://cdnjs.cloudflare.com/ajax/libs/validator/10.9.0/validator.min.js https://*.safeframe.googlesyndication.com/ https://*.googlesyndication.com/ https://platform.twitter.com/js/ https://cdn.ampproject.org https://www.google-analytics.com https://adservice.google.be https://adservice.google.ca https://adservice.google.co.id https://adservice.google.co.mz https://adservice.google.co.th https://adservice.google.co.uk https://adservice.google.co.za https://adservice.google.com.au https://adservice.google.com.ec https://adservice.google.com.hk https://adservice.google.com.ng https://adservice.google.com.np https://adservice.google.com.ph https://adservice.google.com.sa https://adservice.google.de https://adservice.google.es https://adservice.google.fi https://adservice.google.fr https://adservice.google.ie https://adservice.google.it https://adservice.google.lk https://adservice.google.lt https://adservice.google.nl https://adservice.google.no https://adservice.google.rs https://googleads.g.doubleclick.net;script-src-attr none;style-src 'self' https: 'unsafe-inline' report-sample;report-uri https://5f9d927665d1a16209ba908c.endpoint.csper.io
x-dns-prefetch-control: off
expect-ct: max-age=0
x-frame-options: SAMEORIGIN
strict-transport-security: max-age=15552000; includeSubDomains
x-download-options: noopen
x-content-type-options: nosniff
x-permitted-cross-domain-policies: none
referrer-policy: origin-when-cross-origin
x-xss-protection: 0
etag: W/"12093-ZRfIZZ+98GXfrMDwrsiBow7hh1A"
set-cookie: cookienik=eyJjc3JmU2VjcmV0IjoibEhpN3FsT0VSQ3plUklrUFVFS2FKZXJTIn0=; path=/; expires=Mon, 13 Oct 2025 08:43:41 GMT; domain=wordnik.com; secure; httponly
set-cookie: cookienik.sig=5qsRuNVbo-mUT8qNIpsN0Gs9ITc; path=/; expires=Mon, 13 Oct 2025 08:43:41 GMT; domain=wordnik.com; secure; httponly
vary: Accept-Encoding
content-encoding: gzip
Prolog - definition and meaning
Definitions
from the GNU version of the Collaborative International Dictionary of English.
from Wiktionary , Creative Commons Attribution/Share-Alike License.
proper noun computing A programming language developed in the 1970s for artificial intelligence and logic programming.
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
French: Abbreviation of Programmation en Logique.
Support
Help support Wordnik (and make this page ad-free) by adopting the word Prolog .
Examples
Correct me if I am wrong, and I know you will, but there was a programming language in 1972 called Prolog that could take carefully curated declarative statements and allow you to run logical queries over them.
The Register 2009
The opera, the first part or "Prolog " to Wagner's RING, was a huge success vocally and orchestrally.
Archive 2007-07-01 Will 2007
The opera, the first part or "Prolog " to Wagner's RING, was a huge success vocally and orchestrally.
DesignerBlog Will 2007
The natural language query style with DCG from Colmerauer who was in Grenoble (Chamonix) mountaineering with me and paying his Marseille Prolog II - "Standleitung" [German language] with Quebec.
Wolfram Alpha Search Engine Answers Questions, Looks Amazing | Lifehacker Australia 2009
Through his CIA-funded organization, Prolog , he gathered intelligence on the Soviets into at least the late 1960s.
Declassified CIA Files Detail Ties Between U.S. And Ex-Nazis AP 2010
FORMAT/INFO: “Spellwright” is 352 pages long divided over forty-six numbered chapters, a Prolog , an Epilog, and a World Map.
“Spellwright” by Blake Charlton (Reviewed by Robert Thompson) Robert 2010
Those familiar with Prolog programming language, RDF, or formal logic will recognise this approach.
Snell-Pym » Designing a global knowledge base 2009
I was far more interested in languages like LISP, Prolog , Concurrent Clean and Occam.
Snell-Pym » ARGON 2009
I felt that Prolog was great for certain kinds of tasks searching things in complex ways, for example, but was painful for most everyday programming, so I moved towards having a Prolog-like interface to the distributed file system and in-memory "temporary work areas" rather than basing the language around it.
Snell-Pym » ARGON 2009
The natural language query style with DCG from Colmerauer who was in GrenobleChamonix mountaineering with me and paying his Marseille Prolog II-"Standleitung "German language with Quebec.
Wolfram Alpha Search Engine Answers Questions, Looks Amazing | Lifehacker Australia 2009
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.