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
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, ...
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...
Memory management for Prolog with tabling
Memory management for Prolog with tabling
Tabling can be implemented in a (WAM-based) Prolog system by means of SLG-WAM: consumers suspend and their state is preserved by freezing the execution stacks. XSB is a system that...
Einführung ins Mittelenglische
Einführung ins Mittelenglische
Dieses Lehrbuch bietet eine synchronisch strukturelle Analyse des Mittelenglischen anhand des reich glossierten Prolog der "Canterbury Tales" von Chaucer. Der beigefügte Prolog und...
Towards a Declarative Spatial Reasoning System
Towards a Declarative Spatial Reasoning System
We present early results on the development of a declarative spatial reasoning system within the context of the Constraint Logic Programming (CLP) framework. The system is capable ...
An efficient propositional system for Abductive Logic Programming
An efficient propositional system for Abductive Logic Programming
AbstractAbductive logic programming (ALP) extends logic programming with hypothetical reasoning by means of abducibles, an extension able to handle interesting problems, such as di...
Kouichi Hirata
Kouichi Hirata
Abstract
Abduction is a methodology of scientific inquiry. Peirce showed three types of abduction, and expressed them by one syllogism. In computer science, especial...

