Home > Menu > Scheda del prodotto

Jlog

Autore
G. Holst 
Versione
2005
Pagina web del prodotto
http://jlogic.sourceforge.net/  
Licenza
GPL 
Descrizione
Interprete per il linguaggio di programmazione Prolog
Materie
Informatica, Logica e problem solving
Argomento
Programmazione
Scuole
Secondaria 2 grado, Università
Strategia didattica
Problem solving
Lingua
Inglese
Prerequisiti
Conoscenze sulla programmazione procedurale e sulla programmazione logica; introduzione al linguaggio Prolog 
JLOG è un inteprete per il linguaggio di programmazione logica Prolog, che può essere usato, in ambito didattico, per:
a. illustrare il paradigma di programmazione logico, all'interno di un corso di Informatica che preveda l'introduzione alla programmazione e ai suoi principali paradigmi
b. far applicare le regole di deduzione, all'interno di un corso avanzato di Matematica dove si vogliano approfondire aspetti di Logica Matematica, con particolare riferimento alla logica dei predicati
Scritto in linguaggio Java, JLOG può essere eseguito su qualunque piattaforma che supporti Java. Il programma è disponibile sia come Applet Java, da eseguire in locale o da inserire in una pagina web, sia come applicazione a sè stante.
La distribuzione del programma comprende:
* un editor per scrivere programmi in Prolog
* un ambiente specifico per formulare le interrogazioni (query)
* un help online
* un ambiente grafico interattivo per l'attività di debugging
Quando viene utilizzato come applicazione (e non come applet, dove è però possibile copiare codice Prolog e inserirlo in editor di testo) JLOG consente di aprire e salvare file.
In aderenza alla licenza GNU GPL, sul sito del distributore è disponibile anche il codice sorgente che può dunque essere modificato e ricompilato per adattarlo a esigenze specifiche.
Scaricabile dalla rete al seguente indirizzo: http://jlogic.sourceforge.net/
Immagine di esempio di Jlog
Cliccare sulle immagini per ingrandirle
Risorse presenti sul DVD

Help in inglese in formato .htm, si consulta con il browser [link]

Risorse informative online
Disponibili esempi online  
ITD - Istituto per le Tecnologie Didattiche