1.

Soal 1
Menerjemahkan kalimat bahasa alami ke dalam formula predikat.
Misalkan kita memiliki domain D = { x| x adalah makhluk hidup } dengan
wortel ,kelinci , lobak , tikus , tomat , rubah ∈ D serta predikat-predikat berikut:
Hewan ( x ) : “ x adalah hewan”
Tumbuhan ( x ) : “ x adalah tumbuhan”
Makan ( x , y ) : “ x memakan y ”.
Dengan hanya menggunakan domain dan predikat di atas, terjemahkan setiap kalimat
berikut ke dalam formula predikat:
(1) Kelinci dan tikus adalah hewan.
(2) Rubah tidak memakan tomat, tetapi Rubah memakan kelinci.
(3) Semua hewan bukan tumbuhan.
(4) Beberapa hewan memakan wortel dan lobak.
(5) Semua yang dimakan kelinci juga dimakan tikus.

Jawab:
(1) Hewan (kelinci) ^ Hewan (tikus)
(2) ~Makan (rubah, tomat) ^ Makan (rubah, kelinci)
(3) "x (Hewan (x)  ~Tumbuhan (x))
(4) $x (Hewan (x) ^ Makan (x, wortel) ^ Makan (x, lobak))
(5) "y (Makan (kelinci, y)  Makan (tikus, y))
2. Soal 2
Menentukan keluaran (output) dari program Prolog sederhana.

Jawab:
1. pla(pomme).
Input-Output:

Apakah pomme adalah pla?

Tidak, karena pomme adalah fruit (buah-buahan).
Yang termasuk pla adalah carrote, radis, tomate, dan chou.

2. mange(insect,radis); mange(insecte,chou).
Input-Output:

Apakah insecte mange (memakan) radis? atau apakah insect mange chou?
Insecte mange radis = mange(insect,radis) = False
Insecte mange chou = mange(insect,chou) = True
Dalam tabel kebenaran disjungsi (v), jika F v T, maka hasilnya T.

3. mange(X,radis).
Input-Output:

Apakah X mange radis?

Disini X dapat diganti dengan lapin dan rat. Mengapa? Karena di dalam predikat
mange yang salah satu elemennya radis, maka pasangan yang tepat dengan radis
sesuai dengan skrip prolog adalah lapin dan rat. Oleh karena itu, kedua prolog
tersebut bernilai True.

4. carn(X).
Input-Output:
 Apakah X adalah carn?
Dalam predikat carn, elemen X dapat diganti dengan rat dan renard. Selain itu,
outputnya akan muncul False.

5. omni(X).
Input-Output:

Apakah X adalah omni?

Dalam predikat carn, elemen X hanya dapat diganti dengan rat. Selain itu,
outputnya akan muncul False.