Concepts of Programming Languages

720 Chapter 15 Functional Programming Languages SUMMARY Mathematical functions are named or unnamed mappings that use only condi ...

Review Questions 721 familiar syntax for describing sets. Unlike ML and Scheme, Haskell is a pure functional language. F# is a . ...

722 Chapter 15 Functional Programming Languages Why are CAR and CDR so named? If CONS is called with two atoms, say 'A and 'B, ...

Problem Set 723 What support does Python provide for functional programming? What function in Ruby is used to create a curried ...

724 Chapter 15 Functional Programming Languages ((equal? s (car lis)) lis) (else (y s (cdr lis))) )) What does the following Sc ...

Programming Exercises 725 Write a Scheme function that takes two atoms and a list as parameters and returns a list identical to ...

This page intentionally left blank ...

727 16.1 Introduction 16.2 A Brief Introduction to Predicate Calculus 16.3 Predicate Calculus and Proving Theorems 16.4 An Overv ...

728 Chapter 16 Logic Programming Languages T he objectives of this chapter are to introduce the concepts of logic programming an ...

16.2 A Brief Introduction to Predicate Calculus 729 A proposition can be thought of as a logical statement that may or may not b ...

730 Chapter 16 Logic Programming Languages to the two previous propositions, then the relation man would have two distinct eleme ...

16.2 A Brief Introduction to Predicate Calculus 731 The period between X and P simply separates the variable from the proposi- t ...

732 Chapter 16 Logic Programming Languages father(louis, al) h father(louis, violet) father(al, bob) x mother(violet, bob) x gra ...

16.3 Predicate Calculus and Proving Theorems 733 wiser(joanne, jake) mother(joanne, jake) The mechanics of this resolution const ...

734 Chapter 16 Logic Programming Languages follows: We can envision a theorem proof in terms of predicate calculus as a given se ...

16.4 An Overview of Logic Programming 735 problem. Declarative semantics is considerably simpler than the semantics of the imper ...

736 Chapter 16 Logic Programming Languages where permute is a predicate that returns true if its second parameter array is a per ...

16.6 The Basic Elements of Prolog 737 for microcomputers, such as micro-Prolog, which is described by Clark and McCabe (1984). T ...

738 Chapter 16 Logic Programming Languages Prolog has two basic statement forms; these correspond to the headless and headed Hor ...

16.6 The Basic Elements of Prolog 739 female(shelley), child(shelley). The general form of the Prolog headed Horn clause stateme ...