Prolog sword(Lancelot) sword(Arthur) shield(Lancelot) - PowerPoint PPT Presentation

Oct 24, 2022 •149 likes •254 views

Prolog sword(Lancelot) sword(Arthur) shield(Lancelot) shield(Arthur) crown(Arthur) king(X) :- sword(X), shield(X), crown(X) ?- king(X) Prolog ?- king(X) Prolog ?- king(X) X = Z ?- sword(Z), shield(Z),

Prolog • sword(Lancelot) • sword(Arthur) • shield(Lancelot) • shield(Arthur) • crown(Arthur) • king(X) :- sword(X), shield(X), crown(X) • ?- king(X)
Prolog ?- king(X)
Prolog ?- king(X) X = Z ?- sword(Z), shield(Z), crown(Z)
Prolog ?- king(X) X = Z ?- sword(Z), shield(Z), crown(Z) Z = Lancelot ?- shield(Lancelot), crown(Lancelot)
Prolog ?- king(X) X = Z ?- sword(Z), shield(Z), crown(Z) Z = Lancelot ?- shield(Lancelot), crown(Lancelot) ?- crown(Lancelot)
Prolog ?- king(X) X = Z ?- sword(Z), shield(Z), crown(Z) Z = Arthur Z = Lancelot ?- shield(Lancelot), crown(Lancelot) ?- shield(Arthur), crown(Arthur) ?- crown(Lancelot)
Prolog ?- king(X) X = Z ?- sword(Z), shield(Z), crown(Z) Z = Arthur Z = Lancelot ?- shield(Lancelot), crown(Lancelot) ?- shield(Arthur), crown(Arthur) ?- crown(Lancelot) ?- crown(Arthur)
Prolog king(X) X = Z sword(Z), shield(Z), crown(Z) Z = Arthur Z = Lancelot shield(Lancelot), crown(Lancelot) shield(Arthur), crown(Arthur) crown(Lancelot) crown(Arthur)
But how much does a duck weigh?
May we burn her? • witch(X):-burns(X),female(X). • burns(X):-wooden(X). • wooden(X):-floats(X). • floats(X):-sameweight(duck, X). • female(suspect1). • female(suspect2). • sameweight(duck,suspect1).

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

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

Learn Prolog Now! SWI Prolog Freely available Prolog interpreter Works with Linux,

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.01k views • 76 slides

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 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 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 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 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 Logic Main advantages ease of representing knowledge natural support of non-determinism natural support of pattern-matching natural

1.04k views • 100 slides

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

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

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: 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 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 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 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

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

Aerial Photography Imagery and Height Data Procurement Pre-market engagement webinar 5 September

Aerial Photography Imagery and Height Data Procurement Pre-market engagement webinar 5 September 2019 WebEx If you have any issues with audio or anything else on the WebEx platform, please use the conversation box on the right hand side

538 views • 14 slides

Unlocking the Value in Cyber Data Sponsored by: Unlocking the Value in Cyber Data Visit

Unlocking the Value in Cyber Data Sponsored by: Unlocking the Value in Cyber Data Visit www.advisenltd.com at the end of this webinar to download: Copy of these slides Recording of todays webinar Copy of the associated white

283 views • 17 slides

Wei-Meng Lee weimenglee@learn2develop.net Developer Learning Solutions,

Wei-Meng Lee weimenglee@learn2develop.net Developer Learning Solutions, http://www.learn2develop.net Agenda Getting started with Apple Watch development Cool stuff in watchOS 2.0 Complications Watch Connectivity Framework

973 views • 45 slides

The CDE of ABC Challenges, Discoveries and Examples in Approximate Bayesian Computation Kerrie

The CDE of ABC Challenges, Discoveries and Examples in Approximate Bayesian Computation Kerrie Mengersen July 2019 k.mengersen@qut.edu.au Example 1: 1: Bayesian analysis of complex queuin ing systems Example 2: ABC for monitoring the

1.09k views • 73 slides

Welcome Prelude Preludium in G by Arcangelo Corelli Distribution of the Palms Call to

Welcome Prelude Preludium in G by Arcangelo Corelli Distribution of the Palms Call to Worship One : Every table is filled with the Divine. Whoever the guests, whatever the meal, wherever it may be, so too, is the Divine . All: The

811 views • 54 slides

Overview of Content Accounting Investor Relations January 2020 1 Disclosure This presentation

Overview of Content Accounting Investor Relations January 2020 1 Disclosure This presentation is intended to provide additional information to investors on certain accounting matters. This information should be considered in addition to, not

467 views • 28 slides

2011 YEAR END WRAP UP An Employers Guide to the Years A E l G id t th Y

2011 YEAR END WRAP UP An Employers Guide to the Years A E l G id t th Y Most Compelling Legislative and Employment Law Developments Jacques Emond Sheri Farahani Sheri Farahani January 17, 2012 www.ehlaw.ca Session

560 views • 23 slides

Chapter8 First-Order Logic 20070503 Chap8 1 Pros and Cons of Prop. Logic PL is declarative

Chapter8 First-Order Logic 20070503 Chap8 1 Pros and Cons of Prop. Logic PL is declarative Knowledge and inference are separate and inference is entirely domain-independent. PL is compositional Meaning of a sentence is a

546 views • 18 slides