ABSYS was an early declarative
ee also
*
References
*"ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al, Mach Intell 4, Edinburgh U Press,
*FOLDOC
Wikimedia Foundation. 2010.
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
List of computing topics — Originally, the word computing was synonymous with counting and calculating, and the science and technology of mathematical calculations. Today, computing means using computers and other computing machines. It includes their operation and usage,… … Wikipedia
ABSET — was an early declarative programming language from the University of Aberdeen.ee also* ABSYSReferences* ABSET: A Programming Language Based on Sets , E.W. Elcock et al, Mach Intell 4, Edinburgh U Press, 1969, pp.467–492 *FOLDOC … Wikipedia
List of programming languages — Programming language lists Alphabetical Categorical Chronological Generational The aim of this list of programming languages is to include all notable programming languages in existence, both those in current use and historical ones, in… … Wikipedia
Jarretiere (electronique) — Jarretière (électronique) Sommaire 1 La jarretière en électronique 2 Voir aussi 2.1 Articles connexes 2.2 Références externes … Wikipédia en Français
Jarretière (électronique) — Sommaire 1 La jarretière en électronique 2 Voir aussi 2.1 Articles connexes 2.2 Références externes … Wikipédia en Français
Liste des langages de programmation — Le but de cette Liste des langages de programmation est d inclure tous les langages de programmation existants, qu ils soient actuellement utilisés ou historiques, par ordre alphabétique. Ne sont pas listés ici les langages informatiques de… … Wikipédia en Français
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
SIGB — Système intégré de gestion de bibliothèque Un système intégré de gestion de bibliothèque est un progiciel destiné à la gestion informatique des différentes tâches d’une bibliothèque. Ses différentes fonctions vont de la gestion courante de prêt… … Wikipédia en Français
Systeme integre de gestion de bibliotheque — Système intégré de gestion de bibliothèque Un système intégré de gestion de bibliothèque est un progiciel destiné à la gestion informatique des différentes tâches d’une bibliothèque. Ses différentes fonctions vont de la gestion courante de prêt… … Wikipédia en Français
