Prolog

Prolog

Il Prolog (PROgramming in LOGic) è un linguaggio di programmazione che adotta il paradigma logico. È stato ideato da Robert Kowalski (aspetto teorico), Marten Van Emdem (dimostrazione sperimentale), ed implementato da Alain Colmerauer negli anni 70, costituendo un tentativo di costruire un linguaggio di programmazione che consentisse l'espressione del problema in forma logica invece della traduzione di un algoritmo di soluzione in forma di istruzioni da eseguire da parte della macchina. L'attuale implementazione di Prolog è dovuta in gran parte all'efficiente codifica di David H.D. Warren. Il Prolog è impiegato in molti programmi di Intelligenza artificiale, la sua sintassi e la semantica sono molto semplici e chiare (lo scopo primitivo era quello di fornire uno strumento di lavoro a linguisti privi di conoscenze informatiche). Il Prolog si basa sul calcolo dei predicati (precisamente il calcolo di predicati del primo ordine); tuttavia la sintassi è limitata a formule dette clausole di Horn che sono disgiunzioni di letterali del primo ordine quantificate universalmente con al più un letterale positivo. L'esecuzione di un programma Prolog è comparabile alla dimostrazione di un teorema mediante la regola di inferenza detta risoluzione (introdotta da Robinson nel 1965). I concetti fondamentali sono l'unificazione, la ricorsione in coda e il backtracking.




Maggiori informazioni su : Prolog?

Components Engine è una soluzione software estremamente personalizzabile e scalabile, che permette, partendo da un file in formato Autocad, di generare mappe sensibili dei disegni tecnici (esplosi), pubblicarle via Web e associarle al catalogo ricambi.
L’applicazione consente all’utente di ciccare direttamente sull’immagine del pezzo richiesto, per caricare il carrello acquisti o prenotazioni del ricambio.

Components Engine, il software leader nella gestione, editing, creazione, stampa e pubblicazione di cataloghi delle parti di ricambio, manuali ricambio, videocataloghi digitali, lista ricambi.
Da oggi puoi creare e pubblicare il tuo catalogo ricambi interattivo e multimediale offrendo la possibilità ai "consultatori" di selezionare direttamente il componente di ricambio dalla tavola esplosa (con pezzo di ricambio completamente interattivo e cliccabile) o direttamente dalla distinta o elenco componenti per il prodotto cercato. E' anche possibile utilizzarlo per impaginare le stampe relative ai cataloghi cartacei.