Apr05 - CSE262: Programming Languages Instructor: Dr. Liang...

Info iconThis preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon
CSE262: Programming Languages Instructor: Dr. Liang Cheng Department of Computer Science and Engineering Lehigh University April 5, 2007
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/05/07 Outline ± Recap ± Implementing subprogram (Chapter 10) ± ± Summary and homework
Background image of page 2
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/05/07 Outline ± Recap ± Implementing subprogram (Chapter 10) ± ± Summary and homework
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/05/07 Logic Programming Languages ± Express programs in a form of symbolic logic, predicate calculus ± Use a logic inferencing process ( resolution ) to produce results ± A Prolog example: samlikes ± likes(sam,chips). ± likes(sam,Food) :- italian(Food). ± italian(pizza). ± likes(sam,pizza) ? ± likes(sam,rice) ?
Background image of page 4
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/05/07 Declarative Languages ± Predicate calculus ± express propositions ± Facts and queries ± express relationships between propositions ± describe how new propositions can be inferred from other propositions
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/05/07 Atomic Propositions ± Functor ± Symbol that names the relationship ± Ordered list of parameters:
Background image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 08/06/2008 for the course CSE 262 taught by Professor Cheng during the Spring '07 term at Lehigh University .

Page1 / 19

Apr05 - CSE262: Programming Languages Instructor: Dr. Liang...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online