Scribd Logo
Upload

Welcome to Scribd!

  • Transportation Prolog

    Uploaded by

    Matiko Desalegn
    12 views3 pages
    This document describes a logic program for identifying different modes of transportation based on their characteristics. It defines predicates for various transportation types like airplane, train, truck, etc. and the characteristics that verify each one. It also includes logic to ask the user questions to determine characteristics, assert the answers, and use them to verify and identify the type of transportation.

    Original Description:

    Original Title

    transportation prolog

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document describes a logic program for identifying different modes of transportation based on their characteristics. It defines predicates for various transportation types like airplane, train, truck, etc. and the characteristics that verify each one. It also includes logic to ask the user questions to determine characteristics, assert the answers, and use them to verify and identify the type of transportation.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as docx, pdf, or txt
    12 views3 pages

    Transportation Prolog

    Uploaded by

    Matiko Desalegn
    This document describes a logic program for identifying different modes of transportation based on their characteristics. It defines predicates for various transportation types like airplane, train, truck, etc. and the characteristics that verify each one. It also includes logic to ask the user questions to determine characteristics, assert the answers, and use them to verify and identify the type of transportation.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as docx, pdf, or txt
    of 3

    start:- hypothesis(Transportation),

    write('I believe it is:'),

    write(Transportation),

    nl,

    undo.

    hypothesis(airplane):-airplane,!.

    hypothesis(train):-train,!.

    hypothesis(sinotruck):- sinotruck,!.

    hypothesis(bajaj):- bajaj,!.

    hypothesis(ship):-ship,!.

    hypothesis(motorcycle):-motorcycle,!.

    hypothesis(unknown).

    airplane:-

    verify(in_air),

    verify(big_size),

    verify(fast_speed),

    verify(many_passengers).

    train:-

    verify(rail_way),

    verify(long_height),

    verify(long_distance),

    verify(many_passengers).

    sinotruck:-

    verify(on_road),

    verify(for_cargo),
    verify(big_size),

    verify(long_way).

    bajaj:-

    verify(three_tire),

    verify(three_passengers),

    verify(small_body_size),

    verify(use_benzil).

    ship:-

    verify(on_water),

    verify(long_way),

    verify(cargo_and_passenger),

    verify(low_speed).

    motorcycle:-

    verify(two_tire),

    verify(two_passenger),

    verify(small_body_size),

    verify(use_benzil).

    /*How to ask questions*/

    ask(Question) :-

    write('Does the transportation have the following characteristics:'),

    write(Question),

    write('? '),

    read(Response),

    nl,

    ( (Response == yes ; Response == y)

    ->

    assert(yes(Question)) ;
    assert(no(Question)), fail).

    :- dynamic yes/1,no/1.

    /*How to verify something*/

    verify(S):-

    (yes(S)

    ->

    true;

    (no(S)

    ->

    fail;

    ask(S))).

    /* undo all yes/no assertions*/

    undo:-retract(yes(_)),fail.

    undo:-retract(no(_)),fail.

    undo.

    You might also like