Autore | G. Holst |
---|---|
Versione | 2005 |
Pagina web del prodotto | http://jlogic.sourceforge.net/ |
Licenza | GPL |
Caratteristiche didattiche | |
---|---|
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 |
Sommario | |
---|---|
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/ |
Approfondimenti | |
---|---|
Esperienze d'uso tratte da Essediquadro | Nessuna esperienza d'uso disponibile. |
Risorse informative online |
Focus accessibilità | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Conformità alla Legge n. 4/2004 (Allegato D del DM Luglio 2005) | ||||||||||||
Dalla valutazione effettuata risulta che il software è conforme alla Legge per 6 requisiti su 11. In particolare sono stati rispettati i requisiti: 4, 6, 7, 8, 9, 11; non sono stati rispettati i requisiti: 1, 2, 3, 5, 10.
|
||||||||||||
Accessibilità per i vari tipi di disabilità | ||||||||||||
Il contenuto della pagina è tratto dal
Servizio di Documentazione sul Software Didattico (ITD-CNR)
e distribuito secondo
Creative Commons Attribution-NoDerivs 2.5 License