Pengaturcaraan logik: Perbezaan antara semakan
Kandungan dihapus Kandungan ditambah
Tiada ringkasan suntingan |
|||
Baris 7:
== Klausa Horn ==
Satu kepala sahaja:<
A(x1, x2,…, xk) ← B1(…),B2(…),…,Bn(…).
|
Tiada ringkasan suntingan |
|||
Baris 7:
== Klausa Horn ==
Satu kepala sahaja:<
A(x1, x2,…, xk) ← B1(…),B2(…),…,Bn(…).
|