Costanti – Atomi
1. Un carattere minuscolo seguito da altri caratteri:
a
carloMagno
due_luglio_2000
Costanti – Atomi
2. Una stringa di caratteri speciali:
+ – / \ = ^ < > : . @ # $ & <> ##&& ::=
3. Una stringa di caratteri tra singole virgolette:
‘ABC’ ‘1234′ ‘a<>b’
4. Sono atomi anche:
! ; [] {} :-
Costanti – Numeri
0; -16; 33; +100
0.5; -3.1416; 6.23e+23; 11.0e-3; -2.6e-2
X25
List
Massimo_De_Gregorio
_234
Una termine strutturato può essere formato da diversi componenti. Ogni componente di una struttura può essere un termine (semplice o strutturato).
Struttura generale
Un termine strutturato è sintatticamente formato da un
funtore e una lista di argomenti. In particolare:
padre(mario,carlo)
f(a,g(A,c),h(d))
per(2,3,6)
Un termine strutturato può essere formato da diversi componenti. Ogni componente di una struttura può essere un termine (semplice o strutturato).
Liste – rappresentazione reale
[mare, sole]
[mela, pera, uva]
.(mare, .(sole, []))
.(mela, .(pera, .(uva, [])))
Comandi da console
Azzeramento della console
Output sulla console
Variabili che appaiono inizialmente nel goal nella parte sinistra della regola sono quantificate universalmente.
Variabili che appaiono nel goal solo nella parte destra della regola sono quantificate esistenzialmente (lo stesso per quelle che appaiono nelle query).
1. Introduzione
4. Esempi di applicazione del paradigma gerarchico
11. Schema Theory
13. Architetture Reattive a Sussunzione
14. Architetture a Campi di Potenziale
15. Architetture a Campi di Potenziale e Sussunzione
16. Progettazione di un sistema Reattivo - 1
17. Progettazione di un sistema Reattivo - 2
18. Progettazione di un sistema Reattivo - 3