8063591490

?_memberl(a,L). // gdzie L jest nieukonkretnione

Wygeneruje szablony list, na których a jest na 1, 2, 3 itd. miejscu.

Sprawy formalne:

Kolokwium I z PROLOG 30 - w postaci opracowania domowego, 5.05 + 2 lub trochę więcej dni = termin realizacji. Lepiej zrobić wcześniej.

Kolokwium I z LISP (opcja) 20 - 27.05

Kolokwium II z PROLOG 50 - przedostatni poniedziałek semestru

Bez LISP-57-80=4 Z LISP - normalnie.

Dekla raty wność:

Wystartować z postaci proceduralnej, biorąc pod uwagę możliwości interpretera prologu deklaratywnie sformułować zadanie. Zdefiniowaliśmy tak concat. A co, jeżeli proceduralnie?

CONC(LA, LB, LC)

{

if LA=[] then LC = LB else {

X = <pierwszy_element LA>

R = < reszta LA> conc(R, LB, LC1)

LC = dolacz(X,LCl)

}

}

Tłumaczenie na PROLOG:

Nagłówek i if:    conc(LA,LB,LC):- LA = [], LC = LB.

uproszczenie:    conc([], L, L).

Jeżeli chcemy mieć regułę deterministyczną, to reguły muszą się nawzajem wykluczać. // Hint: niepusta lista nie uzgodni się z pustą...

Część else:    conc([X|R].....// odpowiednik X = pierwszy, R = reszta

conc([X|R], LB, [X|LC1]) :- conc(R, LB, LC1).

// [X|LC1] - dołączenie X na początku LC1

Czyli wynik:    conc([], L, L).

conc([X|R], LB, [X|LC1]) :- conc(R, LB, LC1).

Procedura dająca prefiksy listy:

prefix(Ll, L2) :- Ll=[].    =>    prefix([], _).    //_- zmienna anonimowa,

nie odwol.

prefix(Ll, L2) :- L1=[X|R1], L2=[X|R2], prefix(Rl, R2).    =>

prefix([X|Rl], [X|R2]) :- prefix(Rl, R2).