Programmation logique (Prolog...)
Langages de programmation utilisés en Intelligence Artificielle (IA).
- Mercury: Mercury is a new logic/functional programming language, which combines
the clarity and expressiveness of declarative programming with advanced static
analysis and error detection features. Its highly optimized execution algorithm
delivers efficiency far in excess of existing logic programming systems, and
close to conventional programming systems. Mercury addresses the problems of
large-scale program development, allowing modularity, separate compilation, and
numerous optimization/time trade-offs.
Dernière modification le 6 novembre 2002.
- Lambda-Prolog: Prolog is a logic programming language, where almost all computation
emerges from a generalized form of pattern matching called unification. Like a
mathematical proof, a Prolog program is composed of declarations (axioms) and
goals (theorems to prove). We will show how these correspond to functions and
expressions in functional programming languages.
Dernière modification le 12 janvier 1999.
- OZ: a concurrent constraint programming language and its interactive
Dernière modification le 5 septembre 2002.
- Gödel: Gödel is a declarative, general-purpose programming language in the
family of logic programming languages. It is a strongly typed language, the
type system being based on many-sorted logic with parametric polymorphism. It
has a module system. Gödel supports infinite precision integers, infinite
precision rationals, and also floating-point numbers. It can solve constraints
over finite domains of integers and also linear rational constraints. It
supports processing of finite sets. It also has a flexible computation rule and
a pruning operator which generalizes the commit of the concurrent logic
programming languages. Considerable emphasis is placed on Gödel's meta-logical
facilities which provide significant support for meta-programs that do
analysis, transformation, compilation, verification, debugging, and so on.
Dernière modification le 2 avril 1997.
Dernière modification le 3 octobre 2000.
- LLP: a logic programming language based on intuitionistic linear logic.
Dernière modification le 19 avril 2002.
- Lolli: a logic programming language based on a fragment of linear logic.
Dernière modification le 17 mai 1999.
- B-Prolog: a CLP system that runs Prolog and CLP(FD) programs.
Dernière modification le 5 septembre 2000.
- W-Prolog: an interpreter for a Prolog like language implemented in Java.
Dernière modification le 26 novembre 2000.
- JavaLog: JavaLog is a Prolog interpreter written in Java(tm) designed to allow
easy integration between Java and Prolog.
Dernière modification le 22 octobre 2001.
- GNU Prolog: Free Prolog compiler with constraint solving over finite domains
Dernière modification le 1 octobre 2002.
- SWI-Prolog: Cross-Platform Prolog Compiler and Library
Dernière modification le 11 février 2002.