learn prolog now swi prolog
play

Learn Prolog Now! SWI Prolog Freely available Prolog interpreter - PowerPoint PPT Presentation

Jan 31, 2023 •250 likes •1.01k views

Learn Prolog Now! SWI Prolog Freely available Prolog interpreter Works with Linux, Windows, or Mac OS There are many more Prolog interpreters Not all are ISO compliant/free Lecture 1 Theory Introduction to

  1. Learn Prolog Now!

  2. SWI Prolog • Freely available Prolog interpreter • Works with – Linux, – Windows, or – Mac OS • There are many more Prolog interpreters • Not all are ISO compliant/free

  3. Lecture 1 • Theory – Introduction to Prolog – Facts, Rules and Queries – Prolog Syntax • Exercises – Exercises of LPN chapter 1 – Practical work

  4. Aim of this lecture (1/2) • Give some simple examples of Prolog programs • Discuss the three basic constructs in Prolog: – Facts – Rules – Queries

  5. Aim of this lecture (2/2) • Introduce other concepts, such as – the role of logic – unification with the help of variables • Begin the systematic study of Prolog by defining – terms – atoms, and – variables

  6. Prolog • "Programming with Logic" • Very different from other programming languages – Declarative (not procedural) – Recursion (no “for” or “while” loops) – Relations (no functions) – Unification

  7. History of Prolog first Prolog interpreter by Alain Colmerauer and Philippe Roussel 1 972 1 977 1980 1980s/1990s 2005

  8. History of Prolog implementation of DEC10 compiler by David H.D. Warren 1 972 1 977 1980 1980s/1990s 2005

  9. History of Prolog Definite Clause Grammars implementation by Pereira and Warren 1 972 1 977 1980 1980s/1990s 2005

  10. History of Prolog Prolog grows in popularity especially in Japan and Europe 1 972 1 977 1980 1980s/1990s 2005

  11. History of Prolog Prolog used to program natural language interface in International Space Station by NASA 1 972 1 977 1980 1980s/1990s 2005

  12. History of Prolog Parts of IBM’s Watson QA supercomputer were coded in Prolog 1 972 1 977 1980 1980s/1990s 2011

  13. Prolog and Web Applications • prolog programs are often smaller • smallness encourages well written code • hence, easier to maintain Source: Source: http://www.pathwayslms.com/swipltuts/

  14. Basic idea of Prolog • Describe the situation of interest • Ask a question • Prolog: – logically deduces new facts about the situation we described – gives us its deductions back as answers

  15. Consequences • Think declaratively, not procedurally – Challenging – Requires a different mindset • High-level language – Not as efficient as, say, C – Good for rapid prototyping – Useful in many AI applications (knowledge representation, inference)

  16. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party.

  17. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?-

  18. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- woman(mia).

  19. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- woman(mia). yes ?-

  20. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- woman(mia). yes ?- playsAirGuitar(jody).

  21. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- woman(mia). yes ?- playsAirGuitar(jody). yes ?-

  22. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- woman(mia). yes ?- playsAirGuitar(jody). yes ?- playsAirGuitar(mia).

  23. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- woman(mia). yes ?- playsAirGuitar(jody). yes ?- playsAirGuitar(mia). no

  24. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- tattoed(jody).

  25. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- tattoed(jody). no ?-

  26. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- tattoed(jody). ERROR: predicate tattoed/1 not defined. ?-

  27. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- party.

  28. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- party. yes ?-

  29. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- rockConcert.

  30. Knowledge Base 1 woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?- rockConcert. no ?-

  31. Knowledge Base 2 happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).

  32. Knowledge Base 2 fact happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).

  33. Knowledge Base 2 fact happy(yolanda). fact listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).

  34. Knowledge Base 2 fact happy(yolanda). fact listens2music(mia). rule listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).

  35. Knowledge Base 2 fact happy(yolanda). fact listens2music(mia). rule listens2music(yolanda):- happy(yolanda). rule playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).

  36. Knowledge Base 2 fact happy(yolanda). fact listens2music(mia). rule listens2music(yolanda):- happy(yolanda). rule playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda). rule

  37. Knowledge Base 2 happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda). head body

  38. Knowledge Base 2 happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda). ?-

  39. Knowledge Base 2 happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda). ?- playsAirGuitar(mia). yes ?-

  40. Knowledge Base 2 happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda). ?- playsAirGuitar(mia). yes ?- playsAirGuitar(yolanda). yes

  41. Clauses happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda). There are five clauses in this knowledge base: two facts, and three rules. The end of a clause is marked with a full stop.

  42. Predicates happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda). There are three predicates in this knowledge base: happy, listens2music, and playsAirGuitar

  43. Knowledge Base 3 happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch).

  44. Expressing Conjunction happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch). The comma “," expresses conjunction in Prolog

  45. Knowledge Base 3 happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch). ?- playsAirGuitar(vincent).

  46. Knowledge Base 3 happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch). ?- playsAirGuitar(vincent). no ?-

  47. Knowledge Base 3 happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch). ?- playsAirGuitar(butch).

  48. Knowledge Base 3 happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch). ?- playsAirGuitar(butch). yes ?-

  49. Expressing Disjunction happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch). happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch); listens2music(butch).

  50. Prolog and Logic • Clearly, Prolog has something to do with logic... Prolog Logic Implication A :- B B  A Conjunction A,B A ∧ B Disjunction A;B A ∨ B • Use of inference (modus ponens) • Negation (?)

  51. Knowledge Base 4 woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

For Monday Read lectures 1 -5 of Learn Prolog Now:

For Monday Read lectures 1 -5 of Learn Prolog Now:

For Monday Read lectures 1 -5 of Learn Prolog Now: http://www.coli.uni-saarland.de/~kris/learn- prolog-now/ Prolog Handout 1 Chapter 9, exercises 4, 9 Note that 9 must be proper Horn clauses Same Variable Exact variable

639 views • 45 slides
An Introduction to Prolog Programming 1 What is Prolog? Prolog ( pro gramming in log ic) is a

An Introduction to Prolog Programming 1 What is Prolog? Prolog ( pro gramming in log ic) is a

An Introduction to Prolog Programming 1 What is Prolog? Prolog ( pro gramming in log ic) is a logic-based programming language: programs correspond to sets of logical formulas and the Prolog interpreter uses logical methods to resolve

1.18k views • 72 slides
Prolog: Resolution, Unification, & Cuts Prof. Tom Austin San Jos State University

Prolog: Resolution, Unification, & Cuts Prof. Tom Austin San Jos State University

CS 152: Programming Language Paradigms Prolog: Resolution, Unification, & Cuts Prof. Tom Austin San Jos State University References for Prolog "Learn Prolog Now", http://www.learnprolognow.org SWI-Prolog website

579 views • 32 slides
Prolog Prolog.1 Textbook Title u PROLOG programming for artificial intelligence l Author u

Prolog Prolog.1 Textbook Title u PROLOG programming for artificial intelligence l Author u

Notes 234319: Programming Languages. Tutorial Notes: Prolog Prolog Prolog.1 Textbook Title u PROLOG programming for artificial intelligence l Author u l Ivan Bratko We will be using CPROLOG u l Make sure that /usr/local/bin is in your

776 views • 25 slides
Introduction to Prolog 20070524 Prolog 1 History of Prolog PROgramming in LOGic - based

Introduction to Prolog 20070524 Prolog 1 History of Prolog PROgramming in LOGic - based

Introduction to Prolog 20070524 Prolog 1 History of Prolog PROgramming in LOGic - based on logic - a popular artificial intelligence language - Horn subset of first-order Predicate Logic Developed by Robert A. Kowalski (Univ. of

940 views • 16 slides
A First Look At Prolog Chapter Nineteen Modern Programming Languages, 2nd ed. 1 Outline

A First Look At Prolog Chapter Nineteen Modern Programming Languages, 2nd ed. 1 Outline

A First Look At Prolog Chapter Nineteen Modern Programming Languages, 2nd ed. 1 Outline Terms Using a Prolog language system Rules The two faces of Prolog Operators Lists Negation and failure What Prolog is good

1.11k views • 76 slides
Prolog Reading Sethi Chapter Overview Predicate Calculus

Prolog Reading Sethi Chapter Overview Predicate Calculus

Prolog Reading Sethi Chapter Overview Predicate Calculus Substitution and Unication Intro duction to Prolog Prolog Inference Rules Programming in Prolog Recursion List

452 views • 21 slides
Logic and Prolog Lecture 10 Logic Programming The meaning of a Prolog program can be

Logic and Prolog Lecture 10 Logic Programming The meaning of a Prolog program can be

Logic and Prolog Lecture 10 Logic Programming The meaning of a Prolog program can be explained very naturally using First Order Predicate Logic (FOPL). This gives a theoretical basis for Prolog and related computational systems.

568 views • 4 slides
Prolog Programming CM20019-S1 Y2006/07 1 Prolog = programming in logic Prolog = Programming in

Prolog Programming CM20019-S1 Y2006/07 1 Prolog = programming in logic Prolog = Programming in

Prolog Programming CM20019-S1 Y2006/07 1 Prolog = programming in logic Prolog = Programming in Logic Main advantages ease of representing knowledge natural support of non-determinism natural support of pattern-matching natural

1.04k views • 100 slides
Prolog Dr. Mattox Beckman University of Illinois at Urbana-Champaign Department of Computer

Prolog Dr. Mattox Beckman University of Illinois at Urbana-Champaign Department of Computer

Introduction Prolog Activity! Prolog Dr. Mattox Beckman University of Illinois at Urbana-Champaign Department of Computer Science Introduction Prolog Activity! Outline Introduction Objectives Logic Prolog Prolog Queries Builtin

513 views • 26 slides
Course Aims Introduce a declarative style of programming Fundamental elements of Prolog:

Course Aims Introduce a declarative style of programming Fundamental elements of Prolog:

Course Aims Introduce a declarative style of programming Fundamental elements of Prolog: terms, Prolog clauses, lists, arithmetic, cut, negation Write programs in Prolog and understand their Andrew Rice execution Michealmas 2007

746 views • 62 slides
Overview The Prolog programming language (1) PROgrammation LOGique was invented by Alain

Overview The Prolog programming language (1) PROgrammation LOGique was invented by Alain

Overview The Prolog programming language (1) PROgrammation LOGique was invented by Alain Colmerauer and colleagues at Marseille and Edinburgh in the early 70s. A Prolog A first introduction to Prolog program is written in a subset of first

69 views • 4 slides
How Prolog answers queries To answer a query, the Prolog interpreter tries to satisfy all the

How Prolog answers queries To answer a query, the Prolog interpreter tries to satisfy all the

How Prolog answers queries To answer a query, the Prolog interpreter tries to satisfy all the goals. Satisfying a goal means proving that a goal logically follows from the facts and rules in the program. If the query contains variables, the

579 views • 14 slides
Implementing finite state machines The PROLOG programming language (1) PROgrammation LOGique

Implementing finite state machines The PROLOG programming language (1) PROgrammation LOGique

Implementing finite state machines The PROLOG programming language (1) PROgrammation LOGique invented by Alain Colmerauer and colleagues at Marseille in early 70s. A first introduction to PROLOG A PROLOG program is written in a subset of

350 views • 6 slides
Today Prolog interpreter algorithms Beyond Pure Prolog: meta-predicates Closed

Today Prolog interpreter algorithms Beyond Pure Prolog: meta-predicates Closed

1 Today Prolog interpreter algorithms Beyond Pure Prolog: meta-predicates Closed World Assumption & Negation as Failure. Alan Smaill Logic Programming Nov 09 2009 2 Algorithms for definite clause interpreter We have seen

430 views • 20 slides
Prolog In tro duction Prolog programmi ng F acts ab out ob jects ab

Prolog In tro duction Prolog programmi ng F acts ab out ob jects ab

Prolog In tro duction Prolog programmi ng F acts ab out ob jects ab out ob ject relationships and prop erties Rules ab out ob jects relationships prop erties Questions Prolog

337 views • 32 slides
COMPLETE MONITORS FOR GRADUAL TYPES Ben Greenman Matthias Felleisen Christos Dimoulas at at

COMPLETE MONITORS FOR GRADUAL TYPES Ben Greenman Matthias Felleisen Christos Dimoulas at at

Ben Greenman Matthias Felleisen Christos Dimoulas at at at COMPLETE MONITORS FOR GRADUAL TYPES Ben Greenman Matthias Felleisen Christos Dimoulas at at at COMPLETE MONITORS FOR GRADUAL TYPES a careful analysis of the mixed-typed

1.03k views • 83 slides
Progressive Transient Photon Beams Julio Marco 1 Ibn Guilln 1 Wojciech Jarosz 2 Diego Gutierrez

Progressive Transient Photon Beams Julio Marco 1 Ibn Guilln 1 Wojciech Jarosz 2 Diego Gutierrez

Progressive Transient Photon Beams Julio Marco 1 Ibn Guilln 1 Wojciech Jarosz 2 Diego Gutierrez 1 Adrian Jarabo 1 1 Universidad de Zaragoza, I3A 2 Dartmouth College 1 300,000 km/s LIGHT TRANSPORT 2 TRANSIENT LIGHT TRANSPORT 3

1.1k views • 61 slides
Pumpkin Project Day #3: Using Sensors Where we left off All the groups should have a blinking

Pumpkin Project Day #3: Using Sensors Where we left off All the groups should have a blinking

Arduino Pumpkin Project by Kate Lockwood is licensed under CC BY-SA. Accessed from www.engage-csedu.org. Pumpkin Project Day #3: Using Sensors Where we left off All the groups should have a blinking LED! (or two) For this step of the

1.2k views • 32 slides
WELCOME! Technology for Advocacy Organizing ISSUES CONFERENCE 2015 Cynthia Menzel & Stacy

WELCOME! Technology for Advocacy Organizing ISSUES CONFERENCE 2015 Cynthia Menzel & Stacy

WELCOME! Technology for Advocacy Organizing ISSUES CONFERENCE 2015 Cynthia Menzel & Stacy Begin Communications 2-way information sharing where people have an opportunity to Ask questions Get answers Share ideas Today WHY =

758 views • 40 slides
Introduction to Data Science: graphics with text. More examples:

Introduction to Data Science: graphics with text. More examples:

Why Interactivity? Reactivity D3 and R D3 Alternatives D3 Tutorial HTML and DOM Reactivity Reactivity Reactivity HTML and DOM D3 and R Shiny and D3 SVG SVG SVG CSS SVG CSS HTML and DOM Binding data to graphical elements Web-based

599 views • 25 slides
FSPA Report Xuan Chen (UIC) - on behalf of the Fermilab Student & Postdoc Association New

FSPA Report Xuan Chen (UIC) - on behalf of the Fermilab Student & Postdoc Association New

This manuscript has been authored by Fermi Research FERMILAB-SLIDES-18-070 Alliance, LLC under Contract No. DE- AC02-07CH11359 with the U.S. Department of Energy, Office of Science, Office of High Energy Physics. FSPA Report Xuan Chen (UIC) -

599 views • 32 slides
Lecture 13: Machine Translation Julia Hockenmaier juliahmr@illinois.edu 3324 Siebel Center

Lecture 13: Machine Translation Julia Hockenmaier juliahmr@illinois.edu 3324 Siebel Center

CS447: Natural Language Processing http://courses.engr.illinois.edu/cs447 Lecture 13: Machine Translation Julia Hockenmaier juliahmr@illinois.edu 3324 Siebel Center Lecture 13: Machine Translation e n i h c n a o M i t a l s s

493 views • 34 slides
Family and Community Engagement Network BUREAU OF WORKERS COMPENSATION, PICKERINGTON OCTOBER

Family and Community Engagement Network BUREAU OF WORKERS COMPENSATION, PICKERINGTON OCTOBER

This year's winning pumpkin weighed in at 2,517.5 pounds! Family and Community Engagement Network BUREAU OF WORKERS COMPENSATION, PICKERINGTON OCTOBER 16, 2019 Amy Luttrell won the 2019 Margaret Burley Family Impact Award! Wacky Family

698 views • 27 slides

More recommend