Ads
related to: explain prolog in ai
Search results
Results From The WOW.Com Content Network
Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving and computational linguistics. [1] [2] [3]Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program is a set of facts and rules, which define relations.
Operationally, Prolog's execution strategy can be thought of as a generalization of function calls in other languages, one difference being that multiple clause heads can match a given call. In that case, the system creates a choice-point, unifies the goal with the clause head of the first alternative, and continues with the goals of that first ...
Symbolic AI was the dominant paradigm of AI research from the mid-1950s until the mid-1990s. [4] Researchers in the 1960s and the 1970s were convinced that symbolic approaches would eventually succeed in creating a machine with artificial general intelligence and considered this the ultimate goal of their field.
The first Prolog program, also written in 1972 and implemented in Marseille, was a French question-answering system. The use of Prolog as a practical programming language was given great momentum by the development of a compiler by David H. D. Warren in Edinburgh in 1977.
Prolog (1972) stands for "PROgramming in LOGic." It was developed for natural language question answering, [12] using SL resolution [13] both to deduce answers to queries and to parse and generate natural language sentences. The building blocks of a Prolog program are facts and rules. Here is a simple example:
Prolog focused primarily on backward chaining and also featured various commercial versions and optimizations for efficiency and robustness. [ 5 ] As expert systems prompted significant interest from the business world, various companies, many of them started or guided by prominent AI researchers created productized versions of inference engines.