Logic Programming Associates


Logic Programming Associates

Logic Programming Associates is a company specializing in logic and artificial intelligence software. It was founded in 1980 and is most widely known for its Prolog compilers such as WIN-PROLOG.

External links

* [http://www.lpa.co.uk/ind_pro.htm LPA home page]
* [http://www.lpa.co.uk/abo_lpa.htm About LPA]


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Programmable logic controller — A programmable logic controller (PLC) or programmable controller is a digital computer used for automation of industrial processes, such as control of machinery on factory assembly lines. PLCs are used in many different industries and machines… …   Wikipedia

  • Fourth-generation programming language — A fourth generation programming language (1970s 1990) (abbreviated 4GL) is a programming language or programming environment designed with a specific purpose in mind, such as the development of commercial business software.[1] In the history of… …   Wikipedia

  • Oberon (programming language) — Oberon Paradigm(s) imperative, structured, modular Appeared in 1986 Designed by Niklaus Wirth Typing discipline strong, static …   Wikipedia

  • Oberon programming language — Infobox programming language name = Oberon paradigm = imperative, structured, modular year = 1986 designer = Niklaus Wirth | typing = strong, static dialects = implementations = influenced by = Modula 2 influenced = Oberon 2, ZonnonOberon is a… …   Wikipedia

  • Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… …   Wikipedia

  • Depletion-load NMOS logic — Depletion load nMOS/NMOS (n channel metal oxide semiconductor) is a form of nMOS logic family which uses depletion mode n type MOSFETs as load transistors as a method to enable single voltage operation and achieve greater speed than possible with …   Wikipedia

  • Comment (computer programming) — For comments in Wikipedia markup, see Help:Wiki markup#Character formatting and WP:COMMENT. An illustration of Java source code with prologue comments indicated in red and inline comments in green. Program code is in blue …   Wikipedia

  • Signature (logic) — In logic, especially mathematical logic, a signature lists and describes the non logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures… …   Wikipedia

  • Keith Clark — Infobox Scientist image width = 150px name = Keith L. Clark birth date = birth place = death date = death place = residence = citizenship = nationality = ethnicity = field = Logic Computer Science work institution = Imperial College London… …   Wikipedia

  • Prolog++ — is an object oriented toolkit for the Prolog logic programming language. It allows classes and class hierarchies to be created within Prolog programs.Prolog++ was developed by Logic Programming Associates and first first released in 1989 for MS… …   Wikipedia