Topic: Consiglio per gdr online  (Letto 1971 volte)

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline Amati

  • python unicellularis
  • *
  • moderatore
  • Post: 44
  • Punti reputazione: 0
    • Mostra profilo
Re: Consiglio per gdr online
« Risposta #30 il: Giugno 05, 2009, 09:21 »
dal codice che ho visto ricorda molto prolog :| e prolog l'ho visto, anche le li e' programmazione definizionale... ma le appilicazione che ho visto alla fine delle robe logiche usavano ben poco :D
usavano le attivazioni della testa delle regole come x chiamare procedure :D, e questo ti dico in ambito universitario.
programmazione logica solo a parole, vabbu la parte cuore usava la risoluzione binaria o qualcosa del genere :| (giusto x spezzare una lancia)

Offline riko

  • python deus
  • *
  • moderatore
  • Post: 7.453
  • Punti reputazione: 12
    • Mostra profilo
    • RiK0 Tech Temple
Re: Consiglio per gdr online
« Risposta #31 il: Giugno 05, 2009, 16:31 »
dal codice che ho visto ricorda molto prolog :| e prolog l'ho visto, anche le li e' programmazione definizionale... ma le appilicazione che ho visto alla fine delle robe logiche usavano ben poco :D
usavano le attivazioni della testa delle regole come x chiamare procedure :D, e questo ti dico in ambito universitario.
programmazione logica solo a parole, vabbu la parte cuore usava la risoluzione binaria o qualcosa del genere :| (giusto x spezzare una lancia)

Gia'. Di fatto Erlang e' nato come dialetto Prolog e la prima implementazione girava su una macchina Prolog.
Pero' ormai e' funzionale e non dichiarativo.

Io lavoro non poco nel campo della programmazione logica. Quest'anno sono pure andato a ICLP.
E si fanno tante cose divertente.

Comunque Erlang e' molto diverso da Prolog. Non hai SLD, non hai unificazione.
Non stai esprimendo cose in clausole di Horn. Sei proprio in un mondo funzionale.

Offline Amati

  • python unicellularis
  • *
  • moderatore
  • Post: 44
  • Punti reputazione: 0
    • Mostra profilo
Re: Consiglio per gdr online
« Risposta #32 il: Giugno 08, 2009, 10:01 »
SLD, unificazione, clausole di Hord. E' da un po che nn sentivo parlare di ste cose, mi fanno venire un erezione :D. La programmazione definizionale ha un suo fascio *_*

Offline riko

  • python deus
  • *
  • moderatore
  • Post: 7.453
  • Punti reputazione: 12
    • Mostra profilo
    • RiK0 Tech Temple
Re: Consiglio per gdr online
« Risposta #33 il: Giugno 08, 2009, 22:39 »
SLD, unificazione, clausole di Hord. E' da un po che nn sentivo parlare di ste cose, mi fanno venire un erezione :D. La programmazione definizionale ha un suo fascio *_*

Horn...

a me invece ultimamente rampa per una braga. e' sorprendentemente noioso scrivere un'interprete per stable model semantics...

Offline Amati

  • python unicellularis
  • *
  • moderatore
  • Post: 44
  • Punti reputazione: 0
    • Mostra profilo
Re: Consiglio per gdr online
« Risposta #34 il: Giugno 09, 2009, 09:33 »
si horn U_U chiedo venia :O