Pengaturcaraan logik: Perbezaan antara semakan
Kandungan dihapus Kandungan ditambah
Tiada ringkasan suntingan |
Tiada ringkasan suntingan |
||
Baris 4:
Bahasa pengaturcaraan logik yang terkenal ialah [[Prolog]].
== Klausa Horn ==
Satu kepala sahaja:<brk />
A(x1, x2,…, xk) ← B1(…),B2(…),…,Bn(…).
== Resolusi ==
| |||