Prolog_Part_1 - The language was first conceived by a group...

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

View Full Document Right Arrow Icon
Introduction to Prolog York University Department of Computer Science and Engineering York University- CSE 3401- V. Movahedi 1 03_Prolog
Background image of page 1

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

View Full DocumentRight Arrow Icon
Overview Introduction & Preliminaries Syntax Characters Constants Variables Operators Arithmetic [ref.: Chapter 1 & 2- Clocksin] York University- CSE 3401 2 03_Prolog
Background image of page 2
Prolog From Wikipedia: Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic , and unlike many other programming languages, Prolog is declarative : the program logic is expressed in terms of relations, represented as facts and rules . A computation is initiated by running a query over these relations.
Background image of page 3

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

View Full DocumentRight Arrow Icon
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: The language was first conceived by a group around Alain Colmerauer in Marseille, France, in the early 1970s and the first Prolog system was developed in 1972 by Colmerauer with Philippe Roussel. • Note the goal is to use PROLOG to learn logic programming. The goal is not just to learn to program in Prolog. York University- CSE 3401 03_Prolog 3 Running Prolog • We will use SWI-Prolog here. • In the prism lab: – enter swipl or pl • Download from www.swi-prolog.org York University- CSE 3401 03_Prolog 4 A sample program student(john, 3401):-. student(mary, 3401):-. study_hard(john):-. pass_3401(X):- student(X, 3401), study_hard(X). :-pass_3401(john). York University- CSE 3401 5 A goal A rule Facts 03_Prolog...
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

Prolog_Part_1 - The language was first conceived by a group...

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