Prolog - Revision history

Jsummers at 15:54, 20 March 2021

2021-03-20T15:54:57Z

Dan Tobias at 14:08, 2 June 2019

2019-06-02T14:08:40Z

Dan Tobias: /* References */

2015-02-09T03:57:26Z

‎References

Dan Tobias at 15:27, 26 December 2013

2013-12-26T15:27:56Z

Dan Tobias: /* References */

2013-12-26T15:26:31Z

‎References

Dan Tobias at 05:34, 26 December 2013

2013-12-26T05:34:41Z

Dan Tobias: Created page with "{{FormatInfo |formattype=Languages |subcat=Programming Languages |extensions={{ext|pl}}, {{ext|pro}}, {{ext|P}} |released=1972 }} '''Prolog''' is a language based on very dif..."

2013-01-08T01:23:30Z

Created page with "{{FormatInfo |formattype=Languages |subcat=Programming Languages |extensions={{ext|pl}}, {{ext|pro}}, {{ext|P}} |released=1972 }} '''Prolog''' is a language based on very dif..."

New page

{{FormatInfo
|formattype=Languages
|subcat=Programming Languages
|extensions={{ext|pl}}, {{ext|pro}}, {{ext|P}}
|released=1972
}}

'''Prolog''' is a language based on very different principles from nearly all other programming languages. While most other languages are either procedural (consisting of a series of operations to be performed in linear sequence, with some constructs altering program control with branches, loops, and other such things) or object-oriented (where the operations and the data they operate on are encapsulated in objects with associated methods, attributes, and message-passing), Prolog is instead based on logical predicates, a series of expressions giving facts from which inferences may be made, like "Socrates is a man" and "All men are mortal", from which you can then make a query, like "Is Socrates mortal?" and get a Yes/No response. Or, in Prolog syntax:

man(Socrates)
mortal(X) :- man(X)

?- mortal(Socrates)

Prolog programs consist of whole bunches of such expressions, designed to churn out some fact derived from all of them.

Of course, to be a full-featured programming language, Prolog also needs to do such things as input, output, graphics, file storage, and so on. Various expressions have been devised to do this, containing "side effects" that do the things the programmer wants, but expressed in the form of a logical statement as demanded by Prolog. This can start seeming to the programmer like a kind of contrived gimmick, like expressing answers in the form of a question on the game show ''Jeopardy!''.

Developing a compiler for Prolog can be quite a challenge, since the structure of the language leads to a potentially huge combinatoric explosion of possible combinations of logical statements attempting to resolve the supplied question, most of them blind alleys. This means that a Prolog program is likely to be slow and inefficient compared to one in another language unless the compiler is very well optimized.

In the 1990s, Borland released a version of Prolog called "Turbo Prolog", which was actually developed by a Danish company which now offers it as Visual Prolog.

While Prolog is used in academia, it has not received much use for real-world projects. So, despite its innovative structure, it is probably not the future of programming, but as they say, "The past is Prolog." (Or something like that...)

== References ==
* [[Wikipedia:Prolog|Prolog (Wikipedia)]]
* [[Wikipedia:Visual Prolog|Visual Prolog (Wikipedia)]]

← Older revision		Revision as of 15:54, 20 March 2021
Line 28:		Line 28:
	* [http://vanemden.wordpress.com/2010/08/21/who-killed-prolog/ Who killed Prolog?]		* [http://vanemden.wordpress.com/2010/08/21/who-killed-prolog/ Who killed Prolog?]
	* [http://www.learnprolognow.org/ Learn Prolog Now!]		* [http://www.learnprolognow.org/ Learn Prolog Now!]
		+
		+	[[Category:File formats with extension .p]]

← Older revision		Revision as of 03:57, 9 February 2015
Line 26:		Line 26:
	* [[Wikipedia:Visual Prolog\|Visual Prolog (Wikipedia)]]		* [[Wikipedia:Visual Prolog\|Visual Prolog (Wikipedia)]]
	* [http://vanemden.wordpress.com/2010/08/21/who-killed-prolog/ Who killed Prolog?]		* [http://vanemden.wordpress.com/2010/08/21/who-killed-prolog/ Who killed Prolog?]
		+	* [http://www.learnprolognow.org/ Learn Prolog Now!]

@@ Line 5: / Line 5: @@
 |released=1972
 }}
-'''[[Prolog]]''' is a language based on very different principles from nearly all other programming languages. While most other languages are either procedural (consisting of a series of operations to be performed in linear sequence, with some constructs altering program control with branches, loops, and other such things) or object-oriented (where the operations and the data they operate on are encapsulated in objects with associated methods, attributes, and message-passing), Prolog is instead based on logical predicates, a series of expressions giving facts from which inferences may be made, like "Socrates is a man" and "All men are mortal", from which you can then make a query, like "Is Socrates mortal?" and get a Yes/No response. Or, in Prolog syntax:
+'''[[Prolog]]''' is a language based on very different principles from nearly all other programming languages. While most other languages are either imperative/procedural (consisting of a series of operations to be performed in linear sequence, with some constructs altering program control with branches, loops, and other such things), object-oriented (where the operations and the data they operate on are encapsulated in objects with associated methods, attributes, and message-passing), or functional (those languages like [[LISP]] that are hard to grasp by people more accustomed to the other sorts), Prolog is instead based on logical predicates, a series of expressions giving facts from which inferences may be made, like "Socrates is a man" and "All men are mortal", from which you can then make a query, like "Is Socrates mortal?" and get a Yes/No response. Or, in Prolog syntax:
   man(Socrates)

← Older revision		Revision as of 15:26, 26 December 2013
Line 25:		Line 25:
	* [[Wikipedia:Prolog\|Prolog (Wikipedia)]]		* [[Wikipedia:Prolog\|Prolog (Wikipedia)]]
	* [[Wikipedia:Visual Prolog\|Visual Prolog (Wikipedia)]]		* [[Wikipedia:Visual Prolog\|Visual Prolog (Wikipedia)]]
		+	* [http://vanemden.wordpress.com/2010/08/21/who-killed-prolog/ Who killed Prolog?]

@@ Line 3: / Line 3: @@
 |subcat=Programming Languages
 |extensions={{ext|pl}}, {{ext|pro}}, {{ext|P}}
 |released=1972
 }}
-'''[[Prolog]]''' is a language based on very different principles from nearly all other programming languages. While most other languages are either imperative/procedural (consisting of a series of operations to be performed in linear sequence, with some constructs altering program control with branches, loops, and other such things), object-oriented (where the operations and the data they operate on are encapsulated in objects with associated methods, attributes, and message-passing), or functional (those languages like [[LISP]] that are hard to grasp by people more accustomed to the other sorts), Prolog is instead based on logical predicates, a series of expressions giving facts from which inferences may be made, like "Socrates is a man" and "All men are mortal", from which you can then make a query, like "Is Socrates mortal?" and get a Yes/No response. Or, in Prolog syntax:
+'''Prolog''' is a language based on very different principles from nearly all other programming languages. While most other languages are either imperative/procedural (consisting of a series of operations to be performed in linear sequence, with some constructs altering program control with branches, loops, and other such things), object-oriented (where the operations and the data they operate on are encapsulated in objects with associated methods, attributes, and message-passing), or functional (those languages like [[LISP]] that are hard to grasp by people more accustomed to the other sorts), Prolog is instead based on logical predicates, a series of expressions giving facts from which inferences may be made, like "Socrates is a man" and "All men are mortal", from which you can then make a query, like "Is Socrates mortal?" and get a Yes/No response. Or, in Prolog syntax:
   man(Socrates)