![DCG
Definite Clause Grammar
frase(Soggetto) --> soggetto(Soggetto),
[è],
oggetto.
argomento non terminaliterminale
TESTA CORPO](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-92-320.jpg)
![Il linguaggio
L = {a b , n>0}
è generato dal seguente programma:
s --> [a],s,[b].
s --> [a],[b].
n n](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-93-320.jpg)
![Il linguaggio
L = {a b , n>0}
è generato dal seguente programma:
s --> [a],s,[b].
s --> [a],[b].
n nab
aabb
aaabbb
…
aaaa…bbbb](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-94-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-99-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-101-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-102-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
Lista
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-103-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<= Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-104-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-105-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-106-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-107-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-108-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<= Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-109-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<= Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-110-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-111-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-112-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-113-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-114-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-115-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-116-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-117-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-118-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-119-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-120-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-121-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-122-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-123-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-124-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-125-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-126-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-127-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<=
Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-128-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
<= Queries
?- s([stefano, writes, the, program], []).](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-129-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
Queries
?- s([stefano, writes, the, program], []).
true](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-130-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
Queries
?- s([stefano, writes, the, program], []).
?- s([stefano, writes, a, program], []).
?- s([the, program, halts], []).
?- s([a, program, halts], []).
?- s([stefano, writes, stefano], []).
true
true
true
true
false](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-131-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
Queries
?- s(X,[]).
X = [stefano, writes, stefano].
X = [stefano, writes, the, program].
X = [stefano, writes, a, program].
X = [stefano, halts].
X = [the, program, writes, stefano].
X = [the, program, writes, the, program].
X = [the, program, writes, a, program].
X = [the, program, halts].
X = [a, program, writes, stefano].
X = [a, program, writes, the, program].
X = [a, program, writes, a, program].
X = [a, program, halts].](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-132-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
det --> [the].
det --> [a].
n --> [program].
tv --> [writes].
iv --> [halts].
Queries
?- s(X,[]).
X = [stefano, writes, stefano].
X = [stefano, writes, the, program].
X = [stefano, writes, a, program].
X = [stefano, halts].
X = [the, program, writes, stefano].
X = [the, program, writes, the, program].
X = [the, program, writes, a, program].
X = [the, program, halts].
X = [a, program, writes, stefano].
X = [a, program, writes, the, program].
X = [a, program, writes, a, program].
X = [a, program, halts].](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-133-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
pn --> [stefano].
pn --> [antonio].
pn --> [marco].
pn --> [alessandro].
pn --> [virginia].
pn --> [antonella].
det --> [the].
det --> [a].
det --> [an].
det --> [some].
det --> [every].
n --> [program].
n --> [car].
n --> [book].
n --> [robber].
n --> [man].
n --> [woman].
n --> [device].
n --> [radio].
n -->
[resturant].
n --> [student].
n -->
[professor].
tv --> [love].
tv --> [like].
tv --> [hate].
tv --> [write].
tv --> [read].
tv --> [ran].
tv --> [dates].
tv --> [buy].
iv --> [halts].
iv --> [stops].
iv --> [run].
iv --> [runs].
iv --> [bite].
iv --> [bites].
…](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-134-320.jpg)
![s --> np, vp.
np --> pn.
np --> det, n.
vp --> tv, np.
vp --> iv.
det --> [D] , {lexicon(det, D)}.
n --> [N] , {lexicon(noun, N)}.
pn -->[PN] , {lexicon(pn, PN)}..
iv -->[IV] , {lexicon(iv, IV)}..
tv -->[TV] , {lexicon(tv, TV)}..
lexicon.pl
lexicon(pn, stefano). lexicon(pn, mario).
lexicon(pn, giuseppe). lexicon(pn, marco).
lexicon(pn, mario). lexicon(pn, alessandro).
lexicon(pn, virginia). lexicon(pn, antonella).
lexicon(det, the). lexicon(det, a).
lexicon(det, an). lexicon(det, some).
lexicon(det, every). lexicon(noun, program).
lexicon(noun, book). lexicon(noun, car).
lexicon(noun, apple). lexicon(noun, woman).
lexicon(noun, professor). lexicon(tv, writes).
lexicon(tv, ate). lexicon(tv, bought).
lexicon(tv, drives). lexicon(iv, halts).
… … …](https://image.slidesharecdn.com/prologinanutshell-170422173052/85/Prolog-in-a-nutshell-136-320.jpg)
Prolog in a nutshell
- 1. PROLOG in a NUTSHELL Stefan o Dalla Palma
- 2. C H E C O S ’ È PROLOG ?
- 3. COSTRUTTIFATTI, REGOLE, QUERY TERMINI: ATOMI, VARIABILI SINTASSI &
- 4. ANALIZZATORE SINTATTICO DELLA LINGUA INGLESE APPLICAZIONE IN LINGUISTICA COMPUTAZIONALE
- 6. Non dire al computer cosa fare… ma ponigli delle domande!
- 8. Cos’è un programma? Base di conoscenza
- 9. Cos’è un programma? Collezione di FATTI & REGOLE P R E D I C A T I
- 10. PREDICATO nome(arg1,…,argN) nome/N studente(‘Stefano’, ‘Dalla Palma’,’158350’) studente/3
- 12. Stefano è un uomo? ?-uomo(stefano).
- 14. atomi Una stringa di caratteri che inizia con una lettera minuscola atomo – programma – presentazione – slides 1 2 Una sequenza arbitraria di caratteri racchiusi tra apici ‘Atomo’ – ‘questo è un esempio’ – ‘_&hs@#d5%’ 3 Una stringa di caratteri speciali: @= – ; – :-
- 19. UNIFICAZIONE Il predicato del fatto è lo stesso della query u o m o ( s t e f a n o ) . ? - u o m o ( s t e f a n o ) . Entrambi i predicati hanno la stessa arità /1 Tutti gli argomenti dei predicati sono gli stessi u o m o ( s t e f a n o ) . ? - u o m o ( s t e f a n o ) . 1 2 3
- 20. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). REGOLE
- 21. testa :- corpo ascoltaMusica(stefano) :- felice(stefano). Regola : se e solo se implica
- 22. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano). ?- suonaLaChitarra(virginia).
- 23. Query ?- suonaLaChitarra(stefano). ?- suonaLaChitarra(virginia). KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano).
- 24. «Stefano suona la chitarra?» ?- suonaLaChitarra(stefano).
- 25. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano).
- 26. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). <= Query ?- suonaLaChitarra(stefano).
- 27. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). <= Query ?- suonaLaChitarra(stefano).
- 28. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). <= Query ?- suonaLaChitarra(stefano).
- 29. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). <= Query ?- suonaLaChitarra(stefano).
- 30. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano).<= Query ?- suonaLaChitarra(stefano).
- 31. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano).<= Query ?- suonaLaChitarra(stefano).
- 32. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). suonaLaChitarra(stefano) :-ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano). <=
- 33. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). <= suonaLaChitarra(stefano) :-ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano).
- 34. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). <= suonaLaChitarra(stefano) :-ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano).
- 35. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). <= suonaLaChitarra(stefano) :-ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano).
- 36. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). <= suonaLaChitarra(stefano) :-ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano).
- 37. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). <= suonaLaChitarra(stefano) :-ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano). ascoltaMusica(stefano) :- felice(stefano).
- 38. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). <= suonaLaChitarra(stefano) :-ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano). ascoltaMusica(stefano) :- felice(stefano).
- 39. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). <= suonaLaChitarra(stefano) :-ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano). ascoltaMusica(stefano) :- felice(stefano).
- 40. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). suonaLaChitarra(stefano) :-ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano). ascoltaMusica(stefano) :- felice(stefano).
- 41. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). suonaLaChitarra(stefano) :-ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano).
- 42. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). Query ?- suonaLaChitarra(stefano).
- 43. I fatti e le regole contenute in una knowledge base (KB) sono chiamate clausole! Clausole:
- 44. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). 5 CLAUSOLE 2 fatti 3 regole
- 45. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano).
- 46. KB2 felice(stefano). ascoltaMusica(virginia). ascoltaMusica(stefano) :- felice(stefano). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano). REGOLA testa :- corpo. FATTO testa :- .
- 47. Un fatto è una regola senza «corpo» testa :- .
- 48. KB3 **fatti** felice(stefano). ascoltaMusica(virginia). **regole** suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia).
- 49. KB3 **fatti** felice(stefano). ascoltaMusica(virginia). **regole** suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia).
- 50. suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). AND GOALS AND:
- 51. «Stefano suona la chitarra?» ?- suonaLaChitarra(stefano).
- 52. Query ?- suonaLaChitarra(stefano). KB3 **fatti** felice(stefano). ascoltaMusica(virginia). **regole** suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano), felice(stefano).
- 53. Query ?- suonaLaChitarra(stefano). KB3 **fatti** felice(stefano). ascoltaMusica(virginia). **regole** suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(stefano) :- ascoltaMusica(stefano), felice(stefano).
- 54. Query ?- suonaLaChitarra(stefano). KB3 **fatti** felice(stefano). ascoltaMusica(virginia). **regole** suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia).
- 55. KB3 **fatti** felice(stefano). ascoltaMusica(virginia). **regole** suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia).
- 56. suonaLaChitarra(virginia) :- felice(virginia) ; ascoltaMusica(virginia). OR GOALS suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia).OR:
- 57. Query ?- suonaLaChitarra(virginia). KB3 **fatti** felice(stefano). ascoltaMusica(virginia). **regole** suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(virginia) :- felice(virginia). <=
- 58. KB3 **fatti** felice(stefano). ascoltaMusica(virginia). **regole** suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(virginia) :- felice(virginia). <= suonaLaChitarra(virginia) :- ascoltaMusica(virginia). Query ?- suonaLaChitarra(virginia).
- 59. KB3 **fatti** felice(stefano). ascoltaMusica(virginia). **regole** suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(virginia) :- felice(virginia). <= suonaLaChitarra(virginia) :- ascoltaMusica(virginia). Query ?- suonaLaChitarra(virginia).
- 60. KB3 **fatti** felice(stefano). ascoltaMusica(virginia). **regole** suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia). Query ?- suonaLaChitarra(virginia). <=
- 61. Query ?- suonaLaChitarra(virginia). KB3 **fatti** felice(stefano). ascoltaMusica(virginia). **regole** suonaLaChitarra(stefano) :- ascoltaMusica(stefano) , felice(stefano). suonaLaChitarra(virginia) :- felice(virginia). suonaLaChitarra(virginia) :- ascoltaMusica(virginia).
- 62. KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). => Predicati binari
- 63. «Ci sono donne? Se si, chi sono?» ?- donna(X).
- 64. «Ci sono donne? Se si, chi sono?» ?- donna(X). Variabile
- 65. VARIABILI Qualsiasi stringa che inizia con una lettera maiuscola o un _ (underscore) Variabile – Programma - _G302
- 66. Query ?- donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia).
- 67. Query ?- donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). <=
- 68. Query ?- donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). <=
- 69. Query ?- donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). <=
- 70. Query ?- donna(X). X = paola ; KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). <= ; = cerca alternative . = ferma il programma
- 71. Query ?- donna(X). X = paola ; X = antonella KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). <=
- 72. Query ?- donna(X). X = paola ; X = antonella ; false. KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). <=
- 73. «C’è qualche individuo X tale che Marco ama X … ?- ama(marco, X), donna(X). … e X è donna?»
- 74. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia).
- 75. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). ?- ama(marco, X) AND ?-donna(X)
- 76. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). ?- ama(marco, X) AND ?-donna(X) <=
- 77. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). ?- ama(marco, paola) AND ?-donna(paola) <=
- 78. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). X = paola
- 79. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). X = paola ;
- 80. paola? marco Chi è l’amante di Marco?
- 81. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). ?- ama(marco, X) AND ?-donna(X) <=
- 82. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). <= ?- ama(marco, gelato) AND ?-donna(gelato)
- 83. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). <= ?- ama(marco, gelato) AND ?-donna(gelato)
- 84. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). <= ?- ama(marco, gelato) AND ?-donna(gelato)
- 85. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). <= ?- ama(marco, gelato) AND ?-donna(gelato)
- 86. Query ?- ama(marco,X) , donna(X). KB4 uomo(stefano). uomo(marco). donna(paola). donna(antonella). ama(marco, paola). ama(marco, gelato). ama(alessandro,virginia). X = paola false. ;
- 87. PROLOG PROGRAMMA Base di conoscenza Queries CLAUSOLE Insieme di FATTI e di REGOLE UNIFICAZIONE Meccanismo di pattern matching Predicati TERMINI Atomi e Variabili
- 88. ANALIZZATORE SINTATTICO DELLA LINGUA INGLESE APPLICAZIONE IN LINGUISTICA COMPUTAZIONALE
- 90. DCG Definite Clause Grammar Regole DCG: testa --> corpo. Regole Prolog: testa :- corpo.
- 91. DCG Definite Clause Grammar Regole DCG: testa --> corpo. Termine No variabile Sequenza di simboli terminali e non terminali separati dalla , (virgola)
- 92. DCG Definite Clause Grammar frase(Soggetto) --> soggetto(Soggetto), [è], oggetto. argomento non terminaliterminale TESTA CORPO
- 93. Il linguaggio L = {a b , n>0} è generato dal seguente programma: s --> [a],s,[b]. s --> [a],[b]. n n
- 94. Il linguaggio L = {a b , n>0} è generato dal seguente programma: s --> [a],s,[b]. s --> [a],[b]. n nab aabb aaabbb … aaaa…bbbb
- 95. «stefano writes the program» «stefano writes a program» «a program halts» «the program halts»
- 96. «stefano writes the program» «stefano writes a program» «a program halts» «the program halts» NP VP
- 97. s --> np, vp.
- 98. det n iv «stefano writes the program» «stefano writes a program» «a program halts» «the program halts» pn tv NP
- 99. s --> np, vp. np --> pn. np --> det, n. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program].
- 100. iv «stefano writes the program» «stefano writes a program» «a program halts» «the program halts» tv NP
- 101. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts].
- 102. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. Queries ?- s([stefano, writes, the, program], []).
- 103. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. Lista Queries ?- s([stefano, writes, the, program], []).
- 104. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 105. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 106. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 107. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. Queries ?- s([stefano, writes, the, program], []).
- 108. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 109. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 110. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 111. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 112. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 113. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. Queries ?- s([stefano, writes, the, program], []).
- 114. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 115. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 116. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 117. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 118. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. Queries ?- s([stefano, writes, the, program], []).
- 119. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. Queries ?- s([stefano, writes, the, program], []).
- 120. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 121. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 122. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 123. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 124. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 125. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 126. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 127. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 128. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 129. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. <= Queries ?- s([stefano, writes, the, program], []).
- 130. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. Queries ?- s([stefano, writes, the, program], []). true
- 131. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. Queries ?- s([stefano, writes, the, program], []). ?- s([stefano, writes, a, program], []). ?- s([the, program, halts], []). ?- s([a, program, halts], []). ?- s([stefano, writes, stefano], []). true true true true false
- 132. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. Queries ?- s(X,[]). X = [stefano, writes, stefano]. X = [stefano, writes, the, program]. X = [stefano, writes, a, program]. X = [stefano, halts]. X = [the, program, writes, stefano]. X = [the, program, writes, the, program]. X = [the, program, writes, a, program]. X = [the, program, halts]. X = [a, program, writes, stefano]. X = [a, program, writes, the, program]. X = [a, program, writes, a, program]. X = [a, program, halts].
- 133. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. det --> [the]. det --> [a]. n --> [program]. tv --> [writes]. iv --> [halts]. Queries ?- s(X,[]). X = [stefano, writes, stefano]. X = [stefano, writes, the, program]. X = [stefano, writes, a, program]. X = [stefano, halts]. X = [the, program, writes, stefano]. X = [the, program, writes, the, program]. X = [the, program, writes, a, program]. X = [the, program, halts]. X = [a, program, writes, stefano]. X = [a, program, writes, the, program]. X = [a, program, writes, a, program]. X = [a, program, halts].
- 134. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. pn --> [stefano]. pn --> [antonio]. pn --> [marco]. pn --> [alessandro]. pn --> [virginia]. pn --> [antonella]. det --> [the]. det --> [a]. det --> [an]. det --> [some]. det --> [every]. n --> [program]. n --> [car]. n --> [book]. n --> [robber]. n --> [man]. n --> [woman]. n --> [device]. n --> [radio]. n --> [resturant]. n --> [student]. n --> [professor]. tv --> [love]. tv --> [like]. tv --> [hate]. tv --> [write]. tv --> [read]. tv --> [ran]. tv --> [dates]. tv --> [buy]. iv --> [halts]. iv --> [stops]. iv --> [run]. iv --> [runs]. iv --> [bite]. iv --> [bites]. …
- 136. s --> np, vp. np --> pn. np --> det, n. vp --> tv, np. vp --> iv. det --> [D] , {lexicon(det, D)}. n --> [N] , {lexicon(noun, N)}. pn -->[PN] , {lexicon(pn, PN)}.. iv -->[IV] , {lexicon(iv, IV)}.. tv -->[TV] , {lexicon(tv, TV)}.. lexicon.pl lexicon(pn, stefano). lexicon(pn, mario). lexicon(pn, giuseppe). lexicon(pn, marco). lexicon(pn, mario). lexicon(pn, alessandro). lexicon(pn, virginia). lexicon(pn, antonella). lexicon(det, the). lexicon(det, a). lexicon(det, an). lexicon(det, some). lexicon(det, every). lexicon(noun, program). lexicon(noun, book). lexicon(noun, car). lexicon(noun, apple). lexicon(noun, woman). lexicon(noun, professor). lexicon(tv, writes). lexicon(tv, ate). lexicon(tv, bought). lexicon(tv, drives). lexicon(iv, halts). … … …
- 137. «stefano writes a program» «mario ate the/a apple» «the/a woman bought a car» «the/a car starts» …
- 138. «stefano writes giuseppe» «an apple ate an apple» …
- 139. S t e f a n o D a l l a P a l m a Link utili http://www.learnprolognow.org/lpnpage.php?pageid=online (Inglese) http://www.amzi.com/AdventureInProlog/a1start.php (Inglese) http://www.ce.unipr.it/research/HYPERPROLOG/prolog.html (Italiano) http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/index.html (Natural Language Processing) Libri e articoli Tools: The Art Of Prolog Swi-prolog: http://www.swi-prolog.org/ The Birth Of Prolog SWISH: http://swish.swi-prolog.org/ Prolog Furlanzoni (Italiano) s.dallapalma@studenti.unimol.it