Introduction 1.2

Introduction 1.2 - A programming language tends to impose a...

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

View Full Document Right Arrow Icon
York University- CSE 3401 01_Introduction 6 Ref.: Sebesta, R.W. Concepts of Programming Languages, 7 th edition
Background image of page 1

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

View Full DocumentRight Arrow Icon
Programming Language Paradigms-cont. Level of language Low level has a world view close to that of the computer High level has a world view closer to that of the specification (describing the problem to be solved, or the structure of the system to be presented) Evaluation Criteria: Readability, Writability, Reliability, Cost Design and evaluation depend on the domain and the problem to be solved York University- CSE 3401 01_Introduction 7
Background image of page 2
PART I- LOGIC PROGRAMMING York University- CSE 3401 01_Introduction 8
Background image of page 3

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

View Full DocumentRight Arrow Icon
Why Logic Programming? View of the world imposed by a language
Background image of page 4
Background image of page 5
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: A programming language tends to impose a certain view of the world on its users. Logic Programming is based on Logic and reasoning. Semantics of the programming languages To program with the constructs of a language requires thinking in terms of the semantics of those constructs. Logic programming requires thinking in terms of facts and rules. York University- CSE 3401 9 01_Introduction Logic Programming Based on first order predicate logic A programmer describes with formulas of predicate logic A mechanical problem solver makes inferences from these formulas York University- CSE 3401 10 01_Introduction...
View Full Document

This note was uploaded on 02/14/2012 for the course CSE 3401 taught by Professor Movahedi during the Fall '11 term at York University.

Page1 / 5

Introduction 1.2 - A programming language tends to impose a...

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

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