Prolog - Historie editací

Pajinek v 12. 5. 2012, 23:02

2012-05-12T23:02:58Z

Pajinek: /* Interpret */

2012-05-11T15:18:12Z

‎Interpret

Pajinek: /* Interpret */

2012-05-11T15:17:58Z

‎Interpret

Pajinek v 11. 5. 2012, 15:17

2012-05-11T15:17:52Z

Pajinek v 11. 5. 2012, 15:16

2012-05-11T15:16:58Z

Pajinek: Založena nová stránka: == Instalace interpretu == Fedora: yum install ppl-swi-prolog

2012-05-11T15:12:47Z

Založena nová stránka: == Instalace interpretu == Fedora: yum install ppl-swi-prolog

Nová stránka

== Instalace interpretu ==

Fedora:

yum install ppl-swi-prolog

← Starší verze		Verze z 12. 5. 2012, 23:02
Řádka 10:		Řádka 10:

	compile('test.pl').		compile('test.pl').
		+
		+	==Příklady ==
		+
		+	===Procházení stavového prostoru:===
		+	Povolení přepisování dat
		+
		+	:- dynamic pos/2, size/2.
		+
		+	Vytvoření dalšího kroku v prostoru
		+
		+	next_step(SX,SY,NSX,NSY):- NSX is SX+1, NSY is SY, test(NSX,NSY) .
		+	next_step(SX,SY,NSX,NSY):- NSX is SX , NSY is SY+1, test(NSX,NSY) .
		+	next_step(SX,SY,NSX,NSY):- NSX is SX-1, NSY is SY, test(NSX,NSY) .
		+	next_step(SX,SY,NSX,NSY):- NSX is SX , NSY is SY-1, test(NSX,NSY) .
		+
		+	Kontrola zda bod patří do prostoru
		+
		+	test(SX,SY) :-
		+	size(W,H),
		+	SX < W, SY < H,
		+	SX >= 0, SY >= 0 .
		+
		+	Inicializace procházení
		+
		+	chess(W,H,[SX,SY],[CX,CY],R) :-
		+	retractall(size(_,_)), retractall(pos(_,_)),
		+	assert(size(W,H)),
		+	test(CX,CY), test(SX,SY),
		+	setof(RR,search([SX,SY],[CX,CY],RR),[RSH\|RST]),
		+	length(RSH,AL),
		+	short(RST,RSH,AL,R).
		+
		+	Procházení stavového prostoru
		+
		+	search([SX,SY],[SX,SY],[(SX,SY)]).
		+	search([SX,SY],[SX,SY],_) :- !, fail.
		+
		+	search([SX,SY],[CX,CY],[RH\|TR]) :-
		+	writeln([SX,SY]),
		+	RH = (SX,SY), assert(pos(SX,SY)),
		+	next_step(SX,SY,NSX,NSY), not(pos(NSX,NSY)),
		+	search([NSX,NSY],[CX,CY],TR).
		+
		+	Zpětné mazání posledního kroku, je důležité, aby se našli všechny možné cesty
		+
		+	search([X,Y],_,_):- pos(X,Y), retract(pos(X,Y)), !, fail.
		+
		+	Nalezení nejkratší cesty
		+
		+	short([],A,_,A).
		+
		+	short([H\|T],A,LA,R) :-
		+	/* writeln([1,H,A]), */
		+	length(H,LH), LH == LA, !,
		+	short(T,[H\|A],LH,R).
		+
		+	short([H\|T],A,LA,R) :-
		+	length(H,LH), LH < LA, !,
		+	short(T,[H],LH,R).
		+
		+	short([H\|T],A,AL,R) :-
		+	short(T,A,AL,R) .

@@ Řádka 5: / Řádka 5: @@
  yum install ppl-swi-prolog
-== Interpret ==
+== Interpret swi-prolog ==
 Načtení zdrojového souboru. Stejný příkaz se provede i pro znovu načtení.:

@@ Řádka 7: / Řádka 7: @@
 == Interpret ==
-Načtení zdrojového souboru. Stejný příkaz se provede i pro znovunačtení.:
+Načtení zdrojového souboru. Stejný příkaz se provede i pro znovu načtení.:
  compile('test.pl').

@@ Řádka 4: / Řádka 4: @@
  yum install ppl-swi-prolog
 == Interpret ==
-Načtení zdrojového souboru:
+Načtení zdrojového souboru. Stejný příkaz se provede i pro znovunačtení.:
  compile('test.pl').

← Starší verze		Verze z 11. 5. 2012, 15:16
Řádka 1:		Řádka 1:
−
	== Instalace interpretu ==		== Instalace interpretu ==

Řádka 5:		Řádka 4:

	yum install ppl-swi-prolog		yum install ppl-swi-prolog
		+
		+
		+	== Interpret ==
		+
		+	Načtení zdrojového souboru:
		+
		+	compile('test.pl').