La programmation logique comporte a été 'trustée' pendant de nombreuses années par Prolog. Les développements à partir de prolog ont donné les langages de programmation logique à flot de donnée parallèle. Citons Parlog, Strand88.

Plus récemment (après 1995) la programmation logique est encore utilisée mais pas en tant que tel, au sein de langages 'multiparadigmes' comportant en général aussi des aspects fonctionnels. On citera Babel, Funlog, voire (de loin et rapidement) Erlang.

-- JulienCharles - 10 Feb 2004

Revision: r1.4 - 08 Apr 2004 - 12:52 - SylvainBeucler
Minfo03 > SpecialK? > ProgrammationLogique
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding WIKIDeptinfo? Send feedback