liste10

gestione liste e stringhe

/* valista1.pro */
/* gestione lista  accesso a TESTA*/
/* GOAL :vai(T)...vai(A)...vai(1)..vai(2).. */

nowarnings
domains
listainteri =integer*

predicates
vai(integer)
preleva(listainteri)

clauses
vai(T):-preleva(Lista),
Lista=[T|_].

preleva([1,2,3,4,5,6,7,8]).

/* valista2.pro */

/* gestione lista  accesso a TESTA e lista*/
/* GOAL :vai(T)...vai(A)...vai(1)..vai(2).. */
nowarnings
domains
listainteri =integer*

predicates
vai(integer)
preleva(listainteri)
clauses
vai(T):-preleva(Lista),
Lista=[T|C],nl,
write(Lista,"\ntesta=").
preleva([10,2,3,4,5,6,7,8]).

/* taglia.pro */
/* goal:azione(L)   con CUT rosso */
/* goal:azione1(L)  senza CUT     */

nowarnings
domains
listainteri = integer*

predicates
preleva(listainteri)
azione(listainteri)
azione1(listainteri)
leggi(listainteri)

clauses

azione(Lista):-
preleva(Lista),!.
azione(Lista):-
leggi(Lista).

azione1(Lista):-
preleva(Lista).
azione1(Lista):-
leggi(Lista).

preleva([1,2,3]).
preleva([4,5,6]).
preleva([7,8,9]).
leggi([11,12,13]).
leggi([14,15,16]).
leggi([17,18,19]).