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
Foundations of logic programming
Principles of programming languages: design
Parallel execution of logic programs
Book
·
Sat Dec 31 23:00:00 EST 1983
·
OSTI ID:5652852
Principles of programming languages: design
Book
·
Fri Dec 31 23:00:00 EST 1982
·
OSTI ID:5724317
Parallel execution of logic programs
Book
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:6487839
Related Subjects
99 GENERAL AND MISCELLANEOUS
990200* -- Mathematics & Computers
ARTIFICIAL INTELLIGENCE
COMPUTER CALCULATIONS
COMPUTER CODES
COMPUTERS
DIGITAL COMPUTERS
EQUATIONS
FUNCTIONAL ANALYSIS
FUNCTIONS
KNOWLEDGE BASE
LISP
MATHEMATICAL LOGIC
MATHEMATICS
NATURAL LANGUAGE
PROGRAMMING
PROGRAMMING LANGUAGES
PROLOG
SUPERCOMPUTERS
990200* -- Mathematics & Computers
ARTIFICIAL INTELLIGENCE
COMPUTER CALCULATIONS
COMPUTER CODES
COMPUTERS
DIGITAL COMPUTERS
EQUATIONS
FUNCTIONAL ANALYSIS
FUNCTIONS
KNOWLEDGE BASE
LISP
MATHEMATICAL LOGIC
MATHEMATICS
NATURAL LANGUAGE
PROGRAMMING
PROGRAMMING LANGUAGES
PROLOG
SUPERCOMPUTERS