1 pred1(X,Z):-parent(X,Z). pred1(X,Z):-parent(X,Y), pred1( Y, Z). parent(pam, bob). parent(pam, bob). parent(tom, bob). parent(tom, bob). parent(tom, liz).

Slides:

Advertisements

Benzer bir sunumlar

JavaScript Birinci Hafta.

Advertisements

FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ

Prolog1 M.Fatih Amasyalı

Prolog2 M.Fatih Amasyalı

Prolog4 cut&fail db değişimi

Prolog3 M.Fatih Amasyalı Web :

dataReader- DataAdapter

Bölüm 4 – Kontrol İfadeleri:1.kısım

4 Kontrol Yapıları: 1.Bölüm.

Bölüm 2: Program Denetimi

4. KONTROL VE DÖNGÜ KOMUTLARI

Karar ifadeleri ve Döngüler

Nesneye Yönelik Programlama

Tek Tablo İçinde Sorgulamalar

BPR152 ALGORİTMA VE PROGRAMLAMA - II

Bölüm 3 – Yapısal Programlama

YAPAY ZEKA ve UZMAN SİSTEMLER

Yapısal Program Geliştirme – if, if-else

 2006 Pearson Education, Inc. All rights reserved. Görsel C# ile Windows Programlama Güz 2009 (5. Hafta)

İNTERNET PROGRAMCILIĞI I BTP 207 Ders 9. Tek değişkende birden fazla bilgi tutulmak istendiğinde kullanılır. Kullanım şekli: var dizi_adı= new Array(eleman1,

Excel’de VBA programlama (Visual Basic Application) Ders 3

Nesneye Yönelik Programlama (2. Sunu). Konsol Üzerinde Türkçe Karakterler Görebilmek İçin…

BPR152 ALGORİTMA VE PROGRAMLAMA - II Öğr. Gör. Bayram AKGÜL

ALGORİTMALAR VE PROGRAMLAMAYA GİRİŞ

INDEFINITE PRONOUNS (BELGİSİZ ZAMİRLER).

SQL SERVER 2008 Yücel YILDIRIM.

 2006 Pearson Education, Inc. All rights reserved Kontrol İfadeleri: 2. Bölüm.

Chapter 4: Making Decisions

Mantıksal Operatörler ve Denetim Yapıları

Bölüm 4 – C’de Program Kontrolü

MAKING SIMPLE INQUIRIES

© Copyright by Deitel & Associates, Inc. and Pearson Education Inc. All Rights Reserved. 1 Tutorial 9 – Araba Ödeme Hesaplaması Uygulaması Bu.

Python Aslı Ergün.

THE SIMPLE FUTURE TENSE

Outline 4.1 Giriş 4.2 Algoritmalar 4.3 Pseudocode 4.4 Kontrol İfadeleri 4.5 if tek-seçimli ifadeler 4.6 if else seçimli ifadeler 4.7 while döngü ifadeleri.

Mantıksal Programlama-Prolog

BİL551 – YAPAY ZEKA Prolog Dili

BİL551 – YAPAY ZEKA Prolog: Listeler

YAPAY ZEKA P ROLOG 1. Prolog’un özellikleri PROgrammig in LOGic Semboller üzerinde çalışma Gerçekler ve kurallardan oluşur Büyük küçük harfe duyarlıdır.

YAPAY ZEKA P ROLOG 3. Geriye İz Sürme Mekanizması sever(oktay, okuma). * sever(yavuz, bilgisayar). sever(orhan, tavla). sever(vedat, uyuma). sever(ismail,

Doç. Dr. Cemil Öz SAÜ Bilgisayar Mühendisliği Dr. Cemil Öz.

VERİ TİPLERİ BYTE:0-255 ARASI TAMSAYI (1 BYTE)

Hazırlayan: Emrah GURSAN Giri ş & Tarihçe Bilgisayar, 'simgeleri işlemek için kullanılan bir makine‘ olarak tanımlanmaktadır. Görünüşte yalın.

Yapısal Sorgulama Dili SQL Hafta 7. TEKRARLI SATIRLARI ÖNLEMEK  DISTINCT komutu ile sorgu sonucunda birden fazla kayıt aynı verileri içeriyorsa tekrarlı.

JASON kullanarak AgentSpeak’de Çok Etmenli Sistemler Programlama UBE-622 ÇOK ETMENLI SISTEMLER BARıŞ TEKIN TEZEL *JASON: a Java-based interpreter for an.

Prolog ile Mantık Programlamaya Giriş

Zamanlar times.

-RECOGNITION OUTCOMES–

ÖĞRETİM YÖNTEM VE TEKNİKLERİ.

YDI101 YABANCI DIL 1 HAFTA 1. We use subject pronouns when the pronoun is the subject of the sentence. When the subject appears the second time, we don’t.

Yapay Zeka ve Uzman Sistemler

PHP’DE ARİTMATİKSEL OPERATÖRLER.

OPERATÖRLER + / = <= MOD = = > < > AND

Excel’de VBA Programlama (Visual Basic Application)

WHO MARILYN MONROE IS Marilyn Monroe kimdir?.  His Real Name Wasn't Marilyn Monroe.(Gerçek İsmi Marilyn Monroe Değildi.)  The legendary actress, known.

+ SOME,ANY,NO,EVERY kelimeleri ile BODY,ONE,THING,WHERE kelimelerinin birleşmesinden oluşan 16 adet kelimeye “indefinite pronouns” denir. SOMEBODY SOMEONE.

ARDUİNO Arduino Eğitimleri Bölüm 3 Programlama Dili Temelleri

CASUS YAZILIMLAR ADI:SAKIP SOYADI:GÜL NO:74 SINIF:11/ATP.

Ders 6– Renk Sensör Uygulamaları

Ders 5– Gyro Açı Sensör Uygulamaları

Bölüm 2: Program Denetimi

Ders 4– Ultrasonic Mesafe Sensör Uygulamaları

Ders 3– Touch Sensörü Uygulamaları

Prolog Programlama Dili

NİŞANTAŞI ÜNİVERSİTESİ

Veri Tabanı Yönetim Sistemleri I

tekhnologic Write your text here CBA tekhnologic Write your text here CBA.

Dönem 2 Biyoistatistik Uygulama

INDEFINITE PRONOUNS (BELGİSİZ ZAMİRLER).

CAN Ability-Yetenek.

Sunum transkripti:

1 pred1(X,Z):-parent(X,Z). pred1(X,Z):-parent(X,Y), pred1( Y, Z). parent(pam, bob). parent(pam, bob). parent(tom, bob). parent(tom, bob). parent(tom, liz). parent(tom, liz). parent(bob, ann). parent(bob, ann). parent(bob, pat). parent(bob, pat). parent(pat,jim). parent(pat,jim). Y = bob by rule pr1by rule pr2 no pred1(tom, pat) parent(tom, pat) parent(tom, Y) pred1(Y, pat) by fact parent(tom, bob) pred1(bob, pat) yes parent(bob, pat) by rule pr1

2 parent(pam, bob). parent(pam, bob). parent(tom, bob). parent(tom, bob). parent(tom, liz). parent(tom, liz). parent(bob, ann). parent(bob, ann). parent(bob, pat). parent(bob, pat). parent(pat,jim). parent(pat,jim). parent(ann,Y’’) pred2(Y’’,pat) parent(pat,Y’’’) pred2(Y’’’,pat) ann ile başlayan parent ilişkisi bulamadığından No pr1 pr2 pr1 pr2 pr1 pr2 pr1 pr2 jim ile başlayan parent ilişkisi bulamadığından No bob ile başlayan 2 parent ilişkisi (ann ve pat) bulunduğundan ikisini de dene pr1 tom ile başlayan 2 parent ilişkisi (bob ve liz) bulunduğundan ikisini de dene

3 parent(pam, bob). parent(pam, bob). parent(tom, bob). parent(tom, bob). parent(tom, liz). parent(tom, liz). parent(bob, ann). parent(bob, ann). parent(bob, pat). parent(bob, pat). parent(pat,jim). parent(pat,jim). pred3(tom,Y’) parent(Y’,pat) pred3(X, Z) :- parent(X, Z). pred3(X, Z) :- pred3( X, Y), parent(Y, Z).

4 parent(pam, bob). parent(pam, bob). parent(tom, bob). parent(tom, bob). parent(tom, liz). parent(tom, liz). parent(bob, ann). parent(bob, ann). parent(bob, pat). parent(bob, pat). parent(pat,jim). parent(pat,jim).

Backtracking Control Backtracking’i kontrol etmek için iki operatör: CUT -!, argüman almaz, her zaman true, backtracking’i durdurur. FAIL – her zaman false, backtracking’e devam ettirir. loop :- goal, fail. loop. Loop çağrıldığında goal her seferinde farklı değerler için tekrarlı olarak tüm olası alternatifler bitene kadar çalıştırılır, En sonunda Loop true olarak tamamlanır.

Cut p :- a,b. p :- c,d. (a  b)  (c  d) p :- a, !, b. p :- c,d. (a  b)  (not(a)  c  d) p :- a, b, !. p :- c,d. (a  b)  ((not(a)  not(b))  c  d) p :- !,a, b. p :- c,d. ? (a  b)

fail father(leonard,katherine). father(carl,jason). father(carl,marilyn). everybody:- father(X,Y), write(X),nl, fail. everybody. fail bir sonuç bulunsa bile arama işlemine devam edilmesini sağlar.