Operators and Arithmetic
Operator terdapat berebagai macam jenis
Ada operator sisipan contoh predikat : john likes mary.
Ada operator awalan contoh predikat : isa_dog fred.
Ada operator akhiran contoh predikat : fred isa_dog.
Ini jelas berbeda dari predikat yang sering digunakan yaitu : likes(john,mary).
Terdapat keistimewaan dalam operator yaitu pengunaan op predikat contohnya : ?-op(150,xfy,likes).
xfy menunjukan bahwa predikat merupakan operator sisipan,
xf menunjukan bahwa predikat merupakan operator awalan,
fy menunjukan bahwa predikat merupakan operator akhiran,
(akan lebih jelas jika nanti dilihat di soal).
Dalam prolog juga terdapat angka-angka yaitu didalam aritmatika tetapi di sini aritmatika yang terdapat di dalam prolog tidak dapat berdiri sendiri jadi harus terdapat keterangan(predikat lain yang mendukung).
Sebagai contoh : ?-X is 6*Y+Z-3.2+P-Q/4.
(prolog tidak dapat menjalankan ini karena prolog tidak mengetahui berapa itu Y,Z,P,dan Q)
tetapi jika kita mengunakan ini :
?- X is 10.5+4.7*2.
X = 19.9 (maka prolog bisa menjalankannya)
Berikut adalah table operator dalam aritmatika
X+Y penjumlahan X and Y
X-Y pengurangan X and Y
X*Y perkalian X and Y
X/Y pembagian X and Y
X^Y X pangkat Y
abs(X) nilai absolute X
sin(X) sinus X
cos(X) cosines X
max(X,Y) nilai terbesar dari X dan Y
sqrt(X) akar dari X
Selain dari itu didalam prolog juga terdapat operasi relasi yaitu :
=:= , =\= , > , >= , < , =< .
Contoh operasi relasi :
?- 88+15-3=:=110-5*2.
Yes
?- 100=\=99.
yes
jenis -jenis samadengan di dalam prolog yaitu :
1. Arithmetic Expression Equality =:=
Contoh :
?- 6+4=:=6*3-8.
Yes
2. Arithmetic Expression Inequality =\=
Contoh :
?- 10=\=8+3.
yes
3. Terms Identical ==
Contoh :
?- X is 10,pred1(X)==pred1(10).
X = 10
4. Terms Identical With Unification =
Contoh :
?- 6+X=6+3.
X = 3
5. Non-Unification Between Two Terms \=
Contoh :
?- 6+4\=3+7.
Yes
Logika Operator
1. The not Operator
Contoh : dog(fido).
?- not dog(fido).
no
2. The Disjunction Operator
Contoh :
?- 6<3;7>
yes
Langganan:
Posting Komentar (Atom)
Tidak ada komentar:
Posting Komentar