Programmazione logica a vincoli

@talk{clpai1996,
    abstract = {Partendo dal concetto di vincolo e dai limiti dei linguaggi imperativi e dichiarativi, il seminario introduce il paradigma di programmazione logica a vincoli (CLP). Viene introdotta la macchina CLP come estensione della macchina logica, definita la semantica operazionale (sia tramite metaintreprete sia tramite un transition system), discussi alcuni casi notevoli come CLP(H) e CLP(FD), infine presentati alcuni esempi di computazioni logiche a vincoli. Outline: * Programmazione non-algoritmica: cenni * Problemi a vincoli: concetti generali * I paradigmi di programmazione * La programmazione logica a vincoli * Esempi e applicazioni},
    address = {Aula 4.1, Facolt\`{a} di Ingegneria, Universit\`{a} di Bologna, Italy},
    author = {Omicini, Andrea},
    date = {1996-01-24},
    howpublished = {Corso di Intelligenza Artificiale},
    language = {it},
    month = jan,
    sort = {seminar},
    speaker = {Omicini, Andrea},
    title = {Programmazione logica a vincoli},
    type = {Seminar},
    year = 1996
}