prolog

Thân thiện

A programmer writes a simple prolog program to answer a question.

Definition

1. Proper noun:
   • A programming language for artificial intelligence: Prolog is a high-level computer programming language. It was created in Europe. Its main purpose is to support programming for artificial intelligence, especially tasks involving natural language processing, symbolic reasoning, and knowledge representation. Its name comes from "Programming in Logic."

Usage

• Proper noun:
  • Prolog is fundamentally different from languages like C or Python.
  • To solve this logic puzzle, we wrote a program in Prolog.
  • The course on computational linguistics includes a module on Prolog programming.

Advanced Usage

• Prolog's core mechanism is based on facts, rules, and queries. Programs declare facts and rules about a problem domain. The Prolog system's inference engine then answers queries by logically deducing consequences from those facts and rules.
  • Example: In a Prolog program, you can state a fact like parent(john, mary). and a rule like grandparent(X, Z) :- parent(X, Y), parent(Y, Z). You can then query grandparent(john, Who)?

Variants and Related Words

• Logic programming (n): The programming paradigm to which Prolog belongs. It uses formal logic to express computation.
• Declarative programming (n): A style of building programs that expresses the logic of a computation without describing its control flow. Prolog is a primary example.

Synonyms

• Logic programming language: A more general term for languages like Prolog.

Related Phrases

• Write in Prolog: To code using the Prolog language.
  • The expert system was written in Prolog.
• Prolog program / code: The source code written in the Prolog language.
  • The Prolog code for the parser is very concise.

Related Terms

• Unification (n): The core computational process in Prolog that matches terms and binds variables.
• Backtracking (n): The search strategy used by Prolog to explore alternative solutions to a query.
• Horn clause (n): A type of logical formula that forms the basis of Prolog rules and facts.

Học thuật

Noun

1. a computer language designed in Europe to support natural language processing

Từ đồng nghĩa

• Prolog
• logic programing
• logic programming