The original declarative programming language Courses in programming languages … Prolog is always the declarative language they teach. (imperative, functional, object-oriented, declarative) Alain Colmeraeur & Philippe Roussel, 1971-1973 With help from theorem proving folks such as Robert Kowalski
The Basics. Prolog (programming in logic) is one of the classical programming languages developed speci cally for applications in AI. As opposed to imperative languages such as C or Java (the latter of which also happens to be object-oriented) it is a declarative programming language. introduced in Section 2. A T-calculus specification for Prolog's depth-first left- right control as well as the cut control will be defined in Section 3, and a T- calculus specification for ~~nificat~ion will be discussed in Section 4. Section 5 will merge these two specifications together to achieve a specification for full Prolog. html(:Spec)// The DCG non-terminal html//1 is the main predicate of this library. It translates the specification for an HTML page into a list of atoms that can be written to a stream using print_html/[1,2]. The expansion rules of this predicate may be extended by defining the multifile DCG html_write:expand//1.