♥♥♥ SHIMA ♥♥♥

PREDICATES
 nondeterm ulang
 nondeterm mesinketik

CLAUSES
 ulang.
 ulang:-ulang.

 mesinketik:-
  ulang,
  readchar(C), /* baca sebuah karakter, ikat ke variabel C */
  write(C),
  C = '\r'. /* Apakah ditekan Enter? Gagal jika tidak */


GOAL
 Mesinketik,nl.

DOMAINS
 kurang=integer
 bagi=real
PREDICATES
 bagikan(bagi,bagi,bagi)
 kurangkan(kurang,kurang,kurang)
CLAUSES
 Bagikan(X,Y,Bagi):-
   Bagi=X/Y.
 Kurangkan(X,Y,Kurang):-
   Kurang=X-Y.
GOAL
  Kurangkan(54,32,Kurang).

DOMAINS
 kali,jumlah=integer
PREDICATES
 tambahkan(jumlah,jumlah,jumlah)
 kalikan(kali,kali,kali)
CLAUSES
 tambahkan(X,Y,Jumlah):-
   Jumlah=X+Y.
 kalikan(X,Y,Kali):-
   Kali=X*Y.
GOAL
  Kalikan(32,54,Kali).

#include <iostream>
#include<conio.h>
int main(){int i, j;
for (i=1; i <= 6 ;i++){for (j=1; j <= i; j++)
cout << "*";cout <<endl;}getch();return 0;
}
for (i=1; i <= 6 ;i++)
{for (j=1; j <= i; j++)cout << "*";cout <<endl;}getch();return 0;
}