Programmazione logica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: rimuovo template {{Collegamenti esterni}} rimasto vuoto dopo la rimozione della property P508 |
m ortografia |
||
Riga 7:
Il meccanismo principale per elaborare teorie logiche fatte di clausole è l'unificazione.
Fra le estensioni della programmazione logica sono la [[
== Note ==
<references/>
| |||