Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
Javascript must be enabled to continue!

PROLOG

View through CrossRef
Prolog is a logic based programming language, and was developed in the early 1970s and is a practical programming language particularly useful for knowledge representation and artificial intelligence (AI) applications. Prolog is different from many common computer languages in that it is not a procedural language (such as Basic, C, or Java). It is an interpreted logic based declarative language and as such has no loops, jumps, type declarations or arrays, and no fixed control constructs. In the past this has led to the impression that Prolog is a restricted language, useful only for highly specialized programming tasks by enthusiasts (Callear, 1994; Krzysztof, 1997). However, this is not the case and modern versions of Prolog are well equipped and versatile, and can be used for any programming task. The latest generations of the language (e.g., Visual Prolog) can also be integrated into more common object oriented languages.
Title: PROLOG
Description:
Prolog is a logic based programming language, and was developed in the early 1970s and is a practical programming language particularly useful for knowledge representation and artificial intelligence (AI) applications.
Prolog is different from many common computer languages in that it is not a procedural language (such as Basic, C, or Java).
It is an interpreted logic based declarative language and as such has no loops, jumps, type declarations or arrays, and no fixed control constructs.
In the past this has led to the impression that Prolog is a restricted language, useful only for highly specialized programming tasks by enthusiasts (Callear, 1994; Krzysztof, 1997).
However, this is not the case and modern versions of Prolog are well equipped and versatile, and can be used for any programming task.
The latest generations of the language (e.
g.
, Visual Prolog) can also be integrated into more common object oriented languages.

Related Results

Automated Theorem Proving for Prolog Verification
Automated Theorem Proving for Prolog Verification
LPTP (Logic Program Theorem Prover) is an interactive natural-deduction-based the- orem prover for pure Prolog programs with negation as failure, unification with the occurs check,...
An integrated Prolog programming environment
An integrated Prolog programming environment
For a long time it has been argued that the right kind of representation can provide insight and understanding for a problem. Believing in the general hypothesis that the limitatio...
Implementation of a Prolog-INGRES interface
Implementation of a Prolog-INGRES interface
This report describes a working prototype of a Prolog-INGRES interface based on external semantic query simplification. Semantic query simplification employs integrity constraints ...
MPA - Máquina Prolog Associativa
MPA - Máquina Prolog Associativa
As arquiteturas convencionais de computadores, baseadas no modelo de von Neumann, não se mostram adequadas para o desenvolvimento de um ambiente eficiente para a linguagem Prolog, ...
Designing Rule-Based Tools for International Relations Research: A Tutorial on Prolog
Designing Rule-Based Tools for International Relations Research: A Tutorial on Prolog
The process of coding a rule-based expert system in Prolog is described in terms designed to (1) clarify the conditions under which this analytical methodology is an appropriate so...
Sistem Pakar Klasifikasi Tanaman Pinus Berbasis Forward Chaining pada Sistem Pakar
Sistem Pakar Klasifikasi Tanaman Pinus Berbasis Forward Chaining pada Sistem Pakar
Penelitian ini menggali penerapan teknologi Kecerdasan Buatan (AI) dalam klasifikasi taksonomi tanaman pinus. Sistem pakar berbasis forward chaining dengan menggunakan bahasa pemro...
Expert System to Diagnose Dengue Fever
Expert System to Diagnose Dengue Fever
Expert system is a system that emulates experts to aid in decision making. This system can be applied in various categories such as diagnosis, prediction, interpretation, and other...
AI Rule-Based Expert System: Diagnosis and Treatment of Bean Diseases
AI Rule-Based Expert System: Diagnosis and Treatment of Bean Diseases
This study introduces an AI rule-based expert system designed to help diagnose and treat common bean diseases. Built with SWI-Prolog, the system uses if-then rules to analyze sympt...

Back to Top