Logic programming: Functions, relations and equations
Book
·
OSTI ID:5315621
This collection of articles describes and explains the major approaches used to combine logic programming and functional programming. It examines both theory and details of implementations, emphasizing relationships, and prospects for fruitful combination in the future. It introduces functional syntax and semantics, and equational theories, using a variety of methods. It provides several actual program codes, to allow readers to begin experimenting immediately using standard Prolog-language interpreters.
- Research Organization:
- Parallel Symbolic Processes Group, IBM Corp.
- OSTI ID:
- 5315621
- Country of Publication:
- United States
- Language:
- English
Similar Records
Parallel execution of logic programs
Foundations of logic programming
PROLOG programming for artificial intelligence
Book
·
Thu Jan 01 00:00:00 EST 1987
·
OSTI ID:5315621
Foundations of logic programming
Book
·
Sun Jan 01 00:00:00 EST 1984
·
OSTI ID:5315621
PROLOG programming for artificial intelligence
Book
·
Wed Jan 01 00:00:00 EST 1986
·
OSTI ID:5315621
Related Subjects
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
SUPERCOMPUTERS
COMPUTER CODES
PROGRAMMING
ARTIFICIAL INTELLIGENCE
COMPUTER CALCULATIONS
EQUATIONS
FUNCTIONAL ANALYSIS
FUNCTIONS
KNOWLEDGE BASE
LISP
MATHEMATICAL LOGIC
NATURAL LANGUAGE
PROLOG
COMPUTERS
DIGITAL COMPUTERS
MATHEMATICS
PROGRAMMING LANGUAGES
990200* - Mathematics & Computers
SUPERCOMPUTERS
COMPUTER CODES
PROGRAMMING
ARTIFICIAL INTELLIGENCE
COMPUTER CALCULATIONS
EQUATIONS
FUNCTIONAL ANALYSIS
FUNCTIONS
KNOWLEDGE BASE
LISP
MATHEMATICAL LOGIC
NATURAL LANGUAGE
PROLOG
COMPUTERS
DIGITAL COMPUTERS
MATHEMATICS
PROGRAMMING LANGUAGES
990200* - Mathematics & Computers