|
Definition of Logic programming
1. Noun. A computer language designed in Europe to support natural language processing.
2. Noun. Creating a program that enables the computer to reason logically.
Generic synonyms: Computer Programing, Computer Programming, Programing, Programming
Lexicographical Neighbors of Logic Programming
Literary usage of Logic programming
Below you will find example usage of this term as found in modern and/or classical literature:
1. Computer Science Research Activities in Asia: AI and Expert Systems by David K. Kahaner (1994)
"The key role played by logic programming is seen by many to be reduced. Nevertheless,
logic programming systems developed at ICOT are probably the best in ..."
2. The Information Universe: Issues in Informing Science and Information by Informing Science Institute, Eli Cohen, Ed. (2006)
"Her research interests include knowledge representation and automated reasoning,
functional programming, logic programming and constraint logic programming, ..."
3. High-Performance Computing in Europe by Miroslaw Malek (1993)
"This facilitates logic programming on standard data that use ECRC-designed "common
exchange format. ..."
4. Computers and Information Technologies in Agricultural Production and edited by Karl Schneider (1998)
"... logic, and programming technique of an agricultural simulation model in Logic
Programming (PROLOG) with object-oriented data structures. ..."
5. Geometric Computing Science: First Steps by Robert Hermann (1991)
"... Go back to first principles;consider problem of Logic and logic programming
The Language of Propositional Calculus. Standard topic in Logic; ..."
6. Partial Evaluation and Automatic Program Generation by Neil D. Jones, Carsten K. Gomard, Peter Sestoft (1993)
"... but partial evaluation also has important applications to scientific computing,
logic programming, metapro- gramming, and expert systems. ..."
7. Project Impact edited by Ann McNeal (1998)
"The course presents an introduction to logic programming, followed by functional
programming, followed by imperative programming as a seamless sequence of ..."