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

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

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

339 views • 32 slides

Introduction to Prolog Useful references: Clocksin, W.F. and Mellish, C.S., Programming in

Introduction to Prolog Useful references: Clocksin, W.F. and Mellish, C.S., Programming in Prolog: Using the ISO Standard (5th edition), 2003. Bratko, I., Prolog Programming for Artificial Intelligence (3rd edition), 2001.

331 views • 20 slides

Contents Logic Programming Manipulating Programs Listing Writing Prolog Interpreter in Prolog

Contents Logic Programming Manipulating Programs Listing Writing Prolog Interpreter in Prolog Temur Kutsia Research Institute for Symbolic Computation The consult Predicate Johannes Kepler University Linz, Austria kutsia@risc.jku.at

297 views • 6 slides

Graphs in PROLOG Adam Volk PROLOG Introduction Programmer tells the system what to find, not

Graphs in PROLOG Adam Volk PROLOG Introduction Programmer tells the system what to find, not how to find it 2 parts to using PROLOG Declaration of facts and rules Asking questions dependent on those facts and rules Pattern

221 views • 8 slides

An Introduction to Prolog Programming Ulle Endriss Institute for Logic, Language and Computation

Basic Prolog LP&ZT 2005 An Introduction to Prolog Programming Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam Ulle Endriss (ulle@illc.uva.nl) 1 Basic Prolog LP&ZT 2005 What is Prolog? Prolog (

292 views • 25 slides

Computational Logic The (ISO-)Prolog Programming Language 1 (ISO-)Prolog A practical

Computational Logic The (ISO-)Prolog Programming Language 1 (ISO-)Prolog A practical programming language based on the logic programming paradigm. Main differences with pure logic programming: depth-first search rule,

869 views • 62 slides

A Third Look At Prolog Chapter Twenty-Two Modern Programming Languages, 2nd ed. 1 Outline

A Third Look At Prolog Chapter Twenty-Two Modern Programming Languages, 2nd ed. 1 Outline Numeric computation in Prolog Problem space search Knapsack 8-queens Farewell to Prolog Chapter Twenty-Two Modern Programming

565 views • 56 slides

Computational Logic The (ISO-)Prolog Programming Language 1 (ISO-)Prolog A practical logic

Computational Logic The (ISO-)Prolog Programming Language 1 (ISO-)Prolog A practical logic language based on the logic programming paradigm. Main differences with pure logic programming: more control on the execution flow,

625 views • 45 slides