-
Notifications
You must be signed in to change notification settings - Fork 0
[IT] Progetto universitario. Linguaggio di programmazione della Logica Descrittiva realizzato con Flex, Bison e C++. [EN] University project. Description logic programming language made with Flex, Bison and C++.
CarloGalatolo/SDLL-SimpleDescriptionLogicLanguage
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
[IT] SDLL è un linguaggio di modellazione e validazione di basi di conoscenze della logica descrittiva, realizzato con Flex e Bison in C++. Su sistemi Linux, il codice sorgente può essere compilato per intero usando il comando "make" nella directory principale. L'eseguibile viene creato nella directory principale con nome "sdll". Va eseguito passando come argomento un file di testo con estensione ".dl". Esempio: ./sdll hammers.dl "hammers.dl" è una knowledgebase di esempio ricavata a partire dall'omonimo file PDF. La documentazione si trova nella cartella "doc". Per navigarla, aprire con un browser il file "doc/html/index.html". [EN] SDLL is a logic programming language for modelling and validate description logic knowledgebases, made with Flex and Bison in C++. On Linux systems, the source code can be compiled as a whole using the command "make" in the main directory. The executable is created in the main directory with name "sdll", and it requires a text file with extension ".dl" containing the knowledgebase in order to work. Example: ./sdll hammers.dl "hammers.dl" is an example knowledgebase acquired from the homonym PDF file. The full documentation is found in the "doc" folder. To browse it, the file "doc/html/index.html" must be open in a web browser. The documentation is entirely in Italian, except the class and function names. Many of the comments in the source code are in Italian as well.
About
[IT] Progetto universitario. Linguaggio di programmazione della Logica Descrittiva realizzato con Flex, Bison e C++. [EN] University project. Description logic programming language made with Flex, Bison and C++.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published