Logic programming: Functions, relations and equations

Book · Tue Jan 01 00:00:00 EST 1985

OSTI ID:5315621

DeGroot, D

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

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