First page Back Continue Last page Overview Graphics
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í.