Leonardo_Bizzoni
  • Closure in Common-Lisp
    Linguaggi_di_Programmazione
  • Passaggio di parametri a funzioni in un linguaggio funzionale
    Linguaggi_di_Programmazione
  • Funzioni tail-recursive
    Linguaggi_di_Programmazione
  • Espressioni autovalutanti
    Linguaggi_di_Programmazione
  • Linguaggi funzionali puri
    Linguaggi_di_Programmazione
  • Prolog meta-procedure
    Linguaggi_di_Programmazione
  • Risoluzione ad Input Lineare SLD
    Linguaggi_di_Programmazione
  • Esecuzione di un programma Prolog
    Linguaggi_di_Programmazione
  • Unificazione in Prolog
    Linguaggi_di_Programmazione
  • Clausole di Horn
    Linguaggi_di_Programmazione
  • Formula atomica
    Linguaggi_di_Programmazione
  • Letterali
    Linguaggi_di_Programmazione
  • Clausole
    Linguaggi_di_Programmazione
  • Clausole di Horn
    Linguaggi_di_Programmazione
  • Dimostrazione per assurdo
    Linguaggi_di_Programmazione
  • Forma normale congiunta
    Linguaggi_di_Programmazione
  • Prolog uguaglianza e disugnaglianza
    Linguaggi_di_Programmazione