warren abstract machine
11David H. D. Warren — Pour les articles homonymes, voir Warren. David H.D. Warren est un spécialiste de l intelligence artificielle. Il a écrit le premier compilateur pour le langage Prolog. On lui doit la Warren s Abstract Machine qui est une machine pour l exécution …
12David H. D. Warren — ist ein britischer Informatiker. Er promovierte 1977 zum Ph.D. Artificial Intelligence an der University of Edinburgh. In den 1970ern und 1980er arbeitete er über Logic programming, und im Besondern die Programmiersprache Prolog, für die er den… …
13Prolog — 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,… …
14Algebraic Logic Functional programming language — also known as ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and… …
15Compiler — This article is about the computing term. For the anime, see Compiler (anime). A diagram of the operation of a typical multi language, multi target compiler A compiler is a computer program (or set of programs) that transforms source code written …
16Máquina virtual — Arquitectura típica de una máquina virtual. VirtualBox …
17Prolog — El Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique,[1] es un lenguaje de programación lógico e interpretado, bastante conocido en el medio de investigación en Inteligencia Artificial. Contenido 1 Historia 2 Vue …
18Prolog — ► sustantivo masculino INFORMÁTICA Lenguaje de programación basado en la lógica de predicados de primer orden utilizado para resolver problemas propios de la inteligencia artificial. * * * Prolog, proveniente del francés Programation et Logique,… …
19WAM — may refer to:*WAM!, a cable television channel for children *Wakalat Anba a al Emarat (WAM), the official news agency of the United Arab Emirates, established in 1976. *Wam Kat, a Dutch political activist and author who now lives in Germany *The… …
20GNU Prolog — (also called gprolog) is a compiler developed by [http://pauillac.inria.fr/ diaz/ Daniel Diaz] with an interactive debugging environment for Prolog available for Unix and Windows. It also supports some extensions to Prolog including constraint… …
