Deklaratív programozás - Prolog vizsgafeladat: merőleges vektorok forrásának megtekintése

{{GlobalTemplate|Infoalap|DeklapoVizsgaMeroleges}}


==Feladat==

'''Segédpredikátum'''

=skalar(A, B, C)=: A és B bemenő vektorok skalár szorzatát adja C-ben pl.

<pre>
	skalar([1,2,3], [0,1,0], C).

	C=[0,2,0]
</pre>

'''Főpredikátum'''

=meroleges(A,B,V1,V2)=: A és B bemenő vektorlisták közötti egymásra merőleges párokat adja ki
V1-ben és V2-ben. pl. 

<pre>
	meroleges([[0,1,0], [1,2,0]], [[1,0,0], [0,0,1]], A, B).

	A = [0, 1, 0]
	B = [1, 0, 0] ;

	A = [0, 1, 0]
	B = [0, 0, 1] ;

	A = [1, 2, 0]
	B = [0, 0, 1] ;
</pre>

==Megoldás==

(biztos nem így kell, de ez müxik):

<pre>
skalar([A1|A], [B1|B], [C1|C]) :-
	integer(A1), integer(B1), C1 is A1*B1,
	skalar(A, B, C).
skalar([], [], []).

meroleges([A1|A], B, V1, V2) :-
	merolegiter(A1, B, V1, V2) ;
	meroleges(A, B, V1, V2).

merolegiter(A, [B1|B], V1, V2) :-
	skalar(A, B1, C),
	csaknulla(C),
	V1=A, V2=B1;
	merolegiter(A,B,V1,V2).

csaknulla([A1|A]) :-
	number(A1), A1 =:= 0, csaknulla(A).
csaknulla([]).
</pre>


[[Category:Infoalap]]