ΛProlog
- ΛProlog
-
λProlog ou lambda prolog est un langage de programmation logique dérivé de prolog. λProlog est une double extension de prolog, dans un premier temps, en rajoutant les λtermes[1] et dans un second temps avec l'ajout de nouveaux connecteurs tels que l'implication et le quantificateur universel[2].
Notes et références
- ↑ D.A. MILLER ET G. NADATHUR, A Logic Programming Approach to Manipulating Formulas and Programs, IEEE Symp. Logic Programming, S. Haridi ed., p. 379-388, San Francisco, CA, USA, 1987.
- ↑ D.A. MILLER, Lexical Scoping as Universal Quantification, 6th Int. Conf. Logic Programming, G. Levi et M. Martelli ed., p. 268-283, MIT Press, 1989.
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article ΛProlog de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
ΛProlog — λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher order programming. These extensions to Prolog are derived from the higher order hereditary Harrop formulas used to… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… … Wikipedia
List of programming languages by category — Programming language lists Alphabetical Categorical Chronological Generational This is a list of programming languages grouped by category. Some languages are listed in multiple categories. Contents … Wikipedia
Programmation logique — La programmation logique est une forme de programmation qui définit les applications à l aide d un ensemble de faits élémentaires les concernant et de règles de logique leur associant des conséquences plus ou moins directes. Ces faits et ces… … Wikipédia en Français
Category:Logic in computer science — Logic in computer science is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains: Those investigations into logic that are guided by applications in computer… … Wikipedia
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
