Movatterモバイル変換

Jump to content

Prolog

From Simple English Wikipedia, the free encyclopedia

Prolog is aprogramming language that usesfirst order logic. It is the most usedlogic programming language. It is a declarative programming language.Alain Cormerauer, aFrench computer scientist created Prolog in the early 1970s.

Prolog is rather different from other programming languages. It uses facts and rules. Given the facts, the rules can be used to figure out new facts.

Prolog uses aparadigm callednegation as failure, which means that $\mathrm {not} ~p$ is assumed if $p {\displaystyle p}$ cannot be derived. This is different from truelogical negation. While negation is failure has its benefits, it often confuses people starting to learn Prolog, as they expect true logical negation.

Prolog also usesHorn clauses. It is aturing-complete programming language.

Thisshort article abouttechnology can be made longer. You can help Wikipedia byadding to it.

Retrieved from "https://simple.wikipedia.org/w/index.php?title=Prolog&oldid=7380348"

Programming languages

Hidden category:

Technology stubs

[8]ページ先頭

©2009-2026 Movatter.jp