A declarative higher-level programming language in which instructions are written not as explicit procedural data-manipulation commands, but as logical statements. The language has built-in resolution procedures for logical inference.
(n.) a language for logic programming.
a computer language designed in Europe to support natural language processing
The document prolog precedes the markup of an SGML instance and consists of the SGML declaration, (optional for SGML), an XML declaration (required if the instance is encoded in XML), and the document type (DOCTYPE) declaration, which may contain a DTD represented by a formal public identifier, or by a system identifier, or both.
A nonprocedural programming language used in artificial intelligence. A PROLOG program contains descriptions of relevant relationships between entities in the problem and of the rules governing the solution of a problem but not of the procedures that are to be used to find those solutions.
the opening part of a document, containing the XML declaration and any document type declarations or markup declarations needed to process the document.
The opening part of an XML document containing the XML declaration and any DTD or other declarations needed to process the document.
b . The optional beginning portion of an XML document prior to the document's content.
The part of an XML document that precedes the XML data. The prolog includes the declaration and an optional DTD.
(Application Developer's Guide - XML; search in this book)
Programming in Logic. One programming language from a family of logic programming languages.
A programming language with a strongly declarative style, which is based on predicate calculus. See also Resolution.
Prolog is a logic programming language. It is a general purpose language, which is especially associated with artificial intelligence and computational linguistics. It consists of both a purely logical language, which might be called "pure Prolog", and a concrete language, which augments pure Prolog with a number of extralogical features.