The Prolog Language by Piyabut Thavilthicakul 49540552.

Slides:

Advertisements

Similar presentations

Prepared by Arch PhD Antonino Di Raimo UNIVERSITETI POLIS SHKOLLA NDERKOMBETARE E ARKITEKTURES DHE POLITIKAVE URBANE Write the shape! (An introduction.

Advertisements

Prolog The language of logic. History Kowalski: late 60’s Logician who showed logical proof can support computation. Colmerauer: early 70’s Developed.

Introduction to Programming Languages Nai-Wei Lin Department of Computer Science and Information Engineering National Chung Cheng University.

Professor Michael J. Losacco CIS 1150 – Introduction to Computer Information Systems Programming and Languages Chapter 13.

Introductory Lecture. What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous)

Copyright © 2006 The McGraw-Hill Companies, Inc. Programming Languages 2nd edition Tucker and Noonan Chapter 1 Overview A good programming language is.

Reasons to study concepts of PL

CS 330 Programming Languages 09 / 18 / 2007 Instructor: Michael Eckmann.

Programming Languages Structure

Outline Chapter 1 Hardware, Software, Programming, Web surfing, … Chapter Goals –Describe the layers of a computer system –Describe the concept.

TES3111 October 2001 Artificial Intelligence LISP.

1.1 Introduction to Language Processor

Computer Systems Nat 4/5 Computing Science Translator Programs.

Lisp by Namtap Tapchareon Lisp Background  Lisp was developed by John McCarthy in  Lisp is derives from List Processing Language. 

Overview. Copyright © 2006 The McGraw-Hill Companies, Inc. Chapter 1 Overview A good programming language is a conceptual universe for thinking about.

Introduction to Computer and Programming CS-101 Lecture 6 By : Lecturer : Omer Salih Dawood Department of Computer Science College of Arts and Science.

PZ01A Programming Language design and Implementation -4th Edition Copyright©Prentice Hall, PZ01A -- Introduction Programming Language Design and.

Programming Languages

P-Phunck - Prolog1 Introduction to Prolog Brian Paden.

School of Computing and Mathematics, University of Huddersfield Computing Science: WEEK 17 Announcement: next few weeks… 9 nd Feb: Comparative Programming.

Artificial Intelligence Lecture No. 15 Dr. Asad Ali Safi Assistant Professor, Department of Computer Science, COMSATS Institute of Information Technology.

A Generative and Model Driven Framework for Automated Software Product Generation Wei Zhao Advisor: Dr. Barrett Bryant Computer and Information Sciences.

CIS Computer Programming Logic

COMPUTER PROGRAMMING Source: Computing Concepts (the I-series) by Haag, Cummings, and Rhea, McGraw-Hill/Irwin, 2002.

Chapter 1. Introduction.

Introduction of C++ language. C++ Predecessors Early high level languages or programming languages were written to address a particular kind of computing.

The College of Saint Rose CIS 433 – Programming Languages David Goldschmidt, Ph.D. from Concepts of Programming Languages, 9th edition by Robert W. Sebesta,

1.8History of Java Java –Based on C and C++ –Originally developed in early 1991 for intelligent consumer electronic devices Market did not develop, project.

ProLog PROgramming in LOGic. Description of Prolog Prolog stands for PROgramming in LOGic. It is a nonprocedural and declarative language.

Expert System Development Tools Sean Lydon Daniel Nelson Emily Schwarz.

1 Introduction Programming Language Design and Implementation (4th Edition) by T. Pratt and M. Zelkowitz Prentice Hall, 2001 Sections

Discrete Structures for Computing

CSC425 - Introduction To Computer Programming 1. 2 Generation Of Programming Languages A set of rules that telling a computer what to do. There are over.

Property of Jack Wilson, Cerritos College1 CIS Computer Programming Logic Programming Concepts Overview prepared by Jack Wilson Cerritos College.

Chapter 6 Programming Languages (1) Introduction to CS 1 st Semester, 2015 Sanghyun Park.

Fortran Fortran – Formula Translation –Developed by John Backus (IBM) in the mid 1950s. –It was a team effort and the design goal was to produce a translation.

1 Prolog and Logic Languages Aaron Bloomfield CS 415 Fall 2005.

CSC3315 (Spring 2009)1 CSC 3315 Languages & Compilers Hamid Harroud School of Science and Engineering, Akhawayn University

C++ Programming Basic Learning Prepared By The Smartpath Information systems

CS4026 Formal Models of Computation Part II The Logic Model Lecture 2 – Prolog: History and Introduction.

1. 2 Preface In the time since the 1986 edition of this book, the world of compiler design has changed significantly 3.

Syntax and Semantics CIS 331 Syntax: the form or structure of the expressions, statements, and program units. Semantics: the meaning of the expressions,

By: Cory Canter CSC 415 Programming Languages. History  Created by Alain Colmerauer, Phillipe Roussel and Robert Kowalski in 1971  Started as a natural.

Logical and Functional Programming

Logic Programming (LP) expresses code using of a restricted form of symbolic logic. LP programs are declarative, rather than algorithmic. An LP program.

Copyright © 2006 The McGraw-Hill Companies, Inc. Programming Languages 2nd edition Tucker and Noonan Chapter 1 Overview A good programming language is.

The Instruction Set Architecture. Hardware – Software boundary Java Program C Program Ada Program Compiler Instruction Set Architecture Microcode Hardware.

JAVA Ekapap Julnonyang When it was implemented? Developed by Sun Microsystems. The first public implementation was Java 1.0 in 1995 The language.

Logic Programming Tarik Booker. What will we cover?  Introduction  Definitions  Predicate Calculus  Prolog  Applications.

By: Nelson Webster. Algorithm Engineers Algorithm engineers study the effectiveness and efficiency of procedures of solving problems on a computer.

1-1 1 Introduction  Programming linguistics: concepts and paradigms syntax, semantics, and pragmatics language processors.  Historical development of.

Introduction to Prolog Asst. Prof. Dr. Senem Kumova Metin Revised lecture notes of “Concepts of Programmig Languages, Robert W. Sebesta, Ch. 16”

Done By :- -Nesreen Basem -Sara nabil -Rawan Prolog Program.

Introductory Lecture. What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous)

Programming Languages Concepts Chapter 1: Programming Languages Concepts Lecture # 4.

MDD-Kurs / MDA Cortex Brainware Consulting & Training GmbH Copyright © 2007 Cortex Brainware GmbH Bild 1Ver.: 1.0 How does intelligent functionality implemented.

Prolog CSC 481 Team Project Winter 2009 ES-Tools Team.

Compilers Principles, Techniques, & Tools Taught by Jing Zhang

Programming Languages 2nd edition Tucker and Noonan

The language focusses on ease of use

By P. S. Suryateja Asst. Professor, CSE Vishnu Institute of Technology

PROGRAMMING LANGUAGES

A I (Artificial Intelligence)

Programming Languages 2nd edition Tucker and Noonan

강의 내용 및 방법 접근방법 리포트 시험 Lambda Calculus, Proof of Correctness

Nat 4/5 Computing Science Translator Programs

Compilers Principles, Techniques, & Tools Taught by Jing Zhang

Overview of Computer system

Presentation transcript:

The Prolog Language by Piyabut Thavilthicakul

When the language first designed? Prolog first designed in very early 1970s. The first Prolog interpreter was developed in 1972.

What were goals and purpose of Prolog? Prolog designed to be a logic programming language that use declarative semantics.

What kind of problem domain was Prolog intended for? Prolog intended for use in Artificial Intelligence domains. For example : Natural Language Processing Intelligent database

Who were the envisioned users? Software Engineers Mathematicians Computer Scientists Linguistics Others that using logic

What are some main features or distinctive features of the Prolog? Method for specifying predicate calculus propositions and an implementation of a restricted from of resolution.

Who designed the Prolog language? Prolog designed by Alian Colmerauer and Phillippe Roussel with some assistance from Robert Kowalski.

How successful was the Prolog? Fifth Generation Computer Systems project (FGCS) chose Prolog for develop the project but later it ran into difficulty because at that time Prolog did not support concurrency.

How widely of the Prolog used today? Prolog is not widely used because it designed to use in a few small areas of application. There are several Prolog IDE and compiler. Visual-Prolog is commercial Prolog IDE but it also has Personal Edition for free. Visual-Prolog SWI-Prolog is free Prolog IDE widely use in research and education. SWI-Prolog GNU Prolog is free Prolog compiler supports many operating system. GNU Prolog

How to perform some numerical computation in Prolog? To * : F is 3*10. // return F = 30 To + : F is // return F = 13

How to input and output different kinds of data, such as integers, floating pt and String? To input an integer: read(X). |: 10. X=10 // result To input a floating pt: read(X). |: X=4.0 // result To input a string: read(X). |:’Hello, A Where are u?’. // result X=‘Hello, A Where are u?’

How to write and invoke a function or procedure? // factorial function factorial(0,1). factorial(N,F) :- N>0, N1 is N-1, factorial(N1,F1), F is N * F1. // using a factorial function to find what is factorial of 3. ?- factorial(3,W). // return W=6

References Book: Concepts of Programming Languages by Robert W. Sebesta. Wiki: w/prolog_tutorial/contents.html w/prolog_tutorial/contents.html