Prolog sword(Lancelot) sword(Arthur) shield(Lancelot) shield(Arthur)

Slides:

Advertisements

Similar presentations

King Arthur, Courtly Love and Chivalry

Advertisements

The Cardiorespiratory System. Size of a fist Weighs

I. Survey II. Bell ringer: Write the vocabulary word that properly fills in the blank. Vocabulary Words: wrath, sovereign, adversary, champion, obliged,

First-Order Logic: Review

Chapter 3 – Set Theory. What is a Set? A set is a collection of distinguishable objects called elements. When writing out the elements of a set we use.

CASTLES AND KNIGHTS PRINCES AND PRINCESSES A walk in the past.

Logic Programming Language (Natural Language Processing)

TRIANGLES IN LITERATURE John Telles EDUC 518. Where in literature can we find triangles? Romeo and Juliet King Arthur and the Knights of the Round Table.

Lancelot and Gawain battle (La mort au Roy Artus; cp. Malory 20.22) (From Yale, Beinecke Library MS 229)

C LAUS B RABRAND Inference Systems J AN 27, 2009 I NFERENCE S YSTEMS Claus Brabrand IT University of Copenhagen [

N OV 12, 2008 C LAUS B RABRAND P ROGRAMMING P ARADIGMS L OGIC- P ROGRAMMING IN P ROLOG Claus Brabrand IT University of Copenhagen [

Video Roadshop 2007, AU C. Brabrand: "Video i Undervisning"JUN 07, 2007 On the Use of Video and Humour in Teaching Claus Brabrand DAIMI, Dept. of Computer.

Prop logic First order predicate logic (FOPC) Prob. Prop. logic Objects, relations Degree of belief First order Prob. logic Objects, relations.

Artwork: The Legend of King Arthur. A. “Lancelot and Guinevere” Herbert James Draper.

Lancelot Du Lac Nicholas Rise /4P November 14, 2007.

“ A language that doesn’t affect the way you think about programming, is not worth knowing”

“Most Wanted” By Danielle Barker, Bryanna Salewsky and Carly Teisseyre.

Arguments A falasafaz! presentation 1. Which arguments? Not this More like this 2.

Comp Programming Languages Proposal 1 All humans possess a common logical structure which operates independently of language Proposal 2 Language.

THE HOBOKEN CHICKEN EMERGENCY. BY: DANIEL PINKWATER.

Mobiles 4 Algebra. 1.Which is heavier? a) The elephant or the monkey? b) The cylinder or the cube? c) The pineapple or the sheep? 2. In the mobile, the.

ARTHUR’S LEGEND THE CHARACTERS.

10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt Subtraction.

Work & Power Mr. Skirbst Physical Science Topic 05.

CPSC 433 Artificial Intelligence Rule Based Systems (Prolog) M. Reza Zakerinasab Please include [CPSC433] in the subject line of any.

Lady of Shalott Alfred, Lord Tennyson. John William Waterhouse, 'I am Half Sick of Shadows' said the Lady of Shalott.

Le Morte d’arthur.

By: Max Sanderson. Lancelot was the son of King Ban of Benwick and Queen Alaine. When he was a child, his parents were driven out of their kingdom in.

1 First-Order Logic: Review. First-order logic First-order logic (FOL) models the world in terms of –Objects, which are things with individual identities.

Conjunctions A Presentation for Sixth -Grade Students.

1 First-Order Logic: Review. First-order logic First-order logic (FOL) models the world in terms of –Objects, which are things with individual identities.

Weighing It All Up Students’ - Questions. Grams and kilograms 1.How many grams are there in a kilogram? a.10 grams b.50 grams c.100 grams d.1,000 grams.

Code: truth, honor, courtesy on and off battlefield, and valor on it. Bravery – assured that the knight fought when supposed to. Think Peer Pressure Honor.

First-Order Logic: Review

The Legend of King Arthur

Translate Words into Math

King Arthur. King Arthur.

Get ready... Which sight word is next?

Monty python and The holy grail

Filling in the Gaps.

Translate Words into Math

Burns and Purcell, 2002.

Defining and Analyzing the Problem

Colour Farm Dr. Jean.

Chapter 2 Fractions.

A falasafaz! presentation

Camelot “All that glitters is not gold” Dr. Jekyll Melanoma

The Color Farm Tune: “Bingo”

This document is contained within the Traditional Tools and Skills Toolbox on Wilderness.net. Since other related resources found in this toolbox may be.

Starter If 4 oranges cost $3.60, how much will nine oranges cost.

The Trinity Can you explain to your friend how an apple can help us to understand the Trinity?

Colour Farm Dr. Jean.

Queen Guinevere Or “La Belle Iseult ” Lancelot

АВЛИГАТАЙ ТЭМЦЭХ ҮНДЭСНИЙ ХӨТӨЛБӨР /танилцуулга/

The Legends of medieval Britain

F Mass, Weight and Gravity (A) Name: ______________________ m g

the you are to was they of that as in for I and it with is on my a he

3 Week A: May 1 – 19 3 Week B: May 22 – June 9

Get ready... What word comes next?

Cecil Arthur Spring Rice ( )

Translate Words into Math

Mordred characters Mordred’s loyal companion A Black Hawk Gull Merlin

Write the word..

THE 320 POUND WOMAN.

What’s your nationality? Where are you from?

Making Decisions.

Defining and Analyzing the Problem

Presentation transcript:

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).