Gay-Serbia.com | Diskusije

Imate AI u srednjoj?

Prvo polugodje radimo prolog, posle cemo (na zahtev nas, ucenika) uglavnom da se zadrzimo na neuronskim mrezama.

Iznađen sam.

Jel prolog beše ovako ide...

sum(1,1)!
sum(N,S):- N1 is N-1,
sum(N1,S1),
S is S1+N!

Originally posted by Mars

Iznađen sam.

Jel prolog beše ovako ide...

sum(1,1)!
sum(N,S):- N1 is N-1,
sum(N1,S1),
S is S1+N!

sa tackom na kraju recenice, ne uzvicnikom (a mozda moze i uzvicnik, nisam probao)

Originally posted by Vetur úlfur

sa tackom na kraju recenice, ne uzvicnikom (a mozda moze i uzvicnik, nisam probao)

Tačka na kraju prvog reda, da...Ali negde mora i uzvičnik (cut predikat)...mislio sam da je posle te rekurzije.

Još samo nešto: onaj nazovi tekstualni deo, p, q, r, izvodjenja i dokazivanja ona...kako se to beše zove u AI?

Originally posted by Mars

Originally posted by Vetur úlfur

sa tackom na kraju recenice, ne uzvicnikom (a mozda moze i uzvicnik, nisam probao)

Tačka na kraju prvog reda, da...Ali negde mora i uzvičnik (cut predikat)...mislio sam da je posle te rekurzije.

Još samo nešto: onaj nazovi tekstualni deo, p, q, r, izvodjenja i dokazivanja ona...kako se to beše zove u AI?

sigurno znam da ne mora ni posle rekurzije, jer mi radimo sa tackom.

PRENEX normalna forma?

Nije to.

Ono kad imaš recimo dva objekta, jedan na drugom...pa da logički nateraš robota da ih prebaci sa mesta A na mesto B.

Originally posted by Vetur úlfur

sigurno znam da ne mora ni posle rekurzije, jer mi radimo sa tackom.

U stvari...cut, kao što mu ime kaže - treba iza uslova za kraj rekurzije, ono gde se staje po dubini...

lcs([], _, []) :- !.
lcs(_, [], []) :- !.
lcs([X|Xs], [X|Ys], [X|Ls]) :- !, memo(lcs(Xs, Ys, Ls)).
lcs([X|Xs], [Y|Ys], Ls) :-
memo(lcs([X|Xs], Ys, Ls1)), memo(lcs(Xs, [Y|Ys], Ls2)),
length(Ls1, L1), length(Ls2, L2),
( L1 >= L2 -> Ls = Ls1 ; Ls = Ls2 )

...ili problem Hanojskih kula, isto našao na netu

class hanoi
predicates
hanoi : (unsigned N).
end class hanoi

implement hanoi
domains
pole = string.

clauses
hanoi(N) :- move(N, "left", "centre", "right").

class predicates
move : (unsigned N, pole A, pole B, pole C).
clauses
move(0, _, _, _) :- !.
move(N, A, B, C) :-
move(N-1, A, C, B),
stdio::writef("move a disc from % pole to the % pole\n", A, C),
move(N-1, B, A, C).
end implement hanoi

goal
console::init(),
hanoi::hanoi(4).