Néhány beépített aritmetikai operátor, művelet. Csak a töredékét használjuk, kár velük fölöslegesen
elbonyolítania az életét, de kiváncsiságból kipróbálhatja őket.
 
Legegyszerűbb, ha rögtön a futtató környezetben próbálja, hasonlóan, ahogy itt is látja:

?- X is 3*4.
X = 12
yes

Aritmetikai operátorok:

	+	összeadás  
	-	kivonás  
	*	szorzás  
	/	valós osztás  
	//	egész osztás  
	mod	modulus  
	**	hatvány  

Néhány összehasonlító művelet:

	=	egységesítés:

pl.:
	Term1 = Term2
sikeres, ha a két term azonos alakra hozható. Próbálja ki pl. az aritmetika.pl fájl megfelelő
szabályát, de kipróbálhatja pl. a tenyek.pl futtatásakor ezeket is:

?- X = gyumolcs(alma).

vagy:

?- gyumolcs(X) = gyumolcs(alma).

	
	\=	nem egységesíthető, vagyis
	
ekvivalens a Term1= Term2 tagadásával.
akkor sikeres, ha a két term nem egységesíthető.

pl. a tenyek.pl futtatásakor próbálja ki:

?- gyumolcs(alma) \= ital(alma).
 
	==	ekvivalencia

	=:= 	két kiszámított számérték ekvivalenciája

sikeres, ha a baloldalon lévő kifejezés kiszámított értéke azonos a jobboldalon lévő kiszámított értékkel.
  

Nagyság szerinti összehasonlítások:

1. Számértékek összehasonlítása:

	A < B;	A =< B;	A > B;	A >= B 

2. Termek összehasonlítása:
  
	A @< B;	 A @=< B;     A@> B;     A @>= B    

Például igazak a következők: 

3 @< 4
3 @< a
a @< abc6
abc6 @< t(c,d)
t(c,d) @< t(c,d,X)
szereti(jancsi,juliska) @< szereti(juliska, jancsi).