Page d'accueil (LC) English Version Actualité (NNL) Détaxe Windows Nous écrire

[Publicité]

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 implementation.
  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.
• SWI-Prolog.
  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.