Datalog

Datalog è un linguaggio di interrogazione delle basi di dati. Si basa sull'utilizzo di regole di deduzione e, per questa sua caratteristica, è applicato alle basi di conoscenza e ai database relazionali. Il linguaggio Datalog è composto da clausole definite del primo ordine ed è privo di simboli di funzione. Le interrogazioni ( query ) sono gestite dal motore di inferenza che scompone la richiesta in un insieme di predicati da verificare singolarmente. Il motore di inferenza può utilizzare la tecnica backward chaining ( concatenazione all'indietro ) o forwarrd chaining ( concatenazione in avanti ). Per stabilire la verità o meno di un'affermazione, il linguaggio Datalog ricorre al processo di unificazione, sostituendo le costanti alle variabili, per verificare la veridicità logica dell'atomo.