DATALOG - syntaxe a sémantika (1)

• 1. (data)logický program je množinou tvrzení a pravidel

• 2. tři druhy predikátových symbolů

  • Ri R
  • Si ... virtuální relace
  • vestavěné predikáty 

• Ri a Si se nazývají pravé.

• Pz.:nebudeme chápat jako negaci (budeme porovnávat pouze omezené proměnné)

• 3. sémantiku logických programů je možné vybudovat minimálně třemi různými způsoby:

  • logicko-odvozovacím přístupem,
  • logicko-modelovým přístupem,
  • pomocí pevného bodu zobrazení.