๐ฎ๐น Made in Italy
Discover Italy's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Italy.
TOP Prolog Projects
friguzzi/cplint
cplint is a suite of programs for reasoning with probabilistic logic programs
friguzzi/aleph
Port of Aleph to SWI-Prolog
AAAI-DISIM-UnivAQ/DALI
DALI Multi Agent System Framework
nicoladileo/NephroDoctor
NephroDoctor: A simple Medical Expert System written in Prolog
friguzzi/matrix
Operations with matrices, SWI pack
friguzzi/trill-on-swish
The Trill probabilistic ontology reasoner on SWISH
di-unipi-socc/EdgeUsher
A declarative prototype to solve the VNF placement in Cloud-Edge scenarios.
rzese/trill
TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
fabriziogaliano/docker-snort-ids
Docker image with Snort and Barnyard
teto1992/greenICTer
A logic programming solution to assess the ecological footprint of your ICT system
ilario-pierbattista/prolog-utils
Materiale ausiliario ed esercitazioni di Prolog
di-unipi-socc/daplacer
Tool for data-aware application placement and routing in the Cloud-IoT continuum
marcoramilli/spampig
SpamPIG
ArnaudFadja/phil
PHIL is a parameter learning algorithm that learns the parameters of Hierarchical Probabilistic Logic Programs applying gradient descent and Expectation Maximization
dmeoli/PESAD
Prolog Expert System on Anxiety Disorders
friguzzi/cplint_datasets
Datasets for cplint
di-unipi-socc/fogbrainx
continuous reasoning for managing next-gen Cloud-IoT applications in continuity with the CI/CD pipeline
Princic-1837592/MCSEA
My Learning Units for the course "Methods in Computer Science Education: Design" at Sapienza
sacerdot/Minimalist-Type-Theory-In-Lambda-Prolog
An implementation in Lambda-Prolog of the Minimalist Type Theory
fferri/CLPplan
symbolic planning using Prolog and CLPFD
matteoredaelli/proloGraph
A demo for a REST server developed in prolog
friguzzi/auc
Library for computing the Area Under the Receiving Operating Characteristics and Precision Recall curves
DangerBlack/quest-describer
A First Order Logic as describer for RPG quest
Biuni/Prolog-AI
๐พ Notes, examples and exercises in Prolog by the Artificial Intelligence course.
lamba92/prolog-project
A prolog project
derogab/little-man-computer
Little Man Computer: a college project w/ @dlcgold at unimib
di-unipi-socc/SecFog
A tool for security assessment of multi-service IoT application deployment in the Fog.
di-unipi-socc/fogbrain
continuous reasoning engine for managing next-gen distributed applications
friguzzi/pascal
Probabilistic inductive constraint logic
peppocola/Cdl_Assistant
Project for Fundamentals of Artificial Intelligence exam (UniBa)
di-unipi-socc/dips
giancosta86/WebSolver
Prolog web architecture for meta-interpreters
friguzzi/trill_on_swish
Cliopatria pack for trill
abeer-dyoub/EthicalEvalMAS
A MAS system for ethical monitoring and evaluation of dialog systems
chrvadala/tableauSolver
Prolog algorithm that applies the method of analytic tableaux and creates a graphical representation of a propositional tableau
amarusofi/LMC
Simulazione del parser e dell'interprete del Little Man Computer in Prolog e Lisp
CoffeeStraw/CCS_Prolog
Interpreter for CCS language (Calculus of Communicating Systems) written in SWI-Prolog.
pietrotrope/OOP-extension
Object Oriented Prolog extension written in Prolog
Zeptogram/OOP
Object Oriented Prolog extension, made for an university project.
OSHW/Loop-Amp
RCHourglass Antenna Loop amplifier
holydrinker/argumentation-framework
Prolog Framework for Bipolar Abstract Argumentation
GianFederico/expert_sys_hardware_problems
A simple toy example in Prolog that attempts to implement a small expert system to assist individuals in identifying hardware-related problems with their PC.
Mooyeee/RE2NFA-Prolog
A Regular Expression to NFA Automata translator implemented in Prolog done for the Programming Languages course, Universitร Milano-Bicocca.
adelloste/logica
Prolog - Logica per l'Informatica
di-unipi-socc/SecFaaS2Fog
di-unipi-socc/sk
Sanfra1407/Clausify
A Prolog software I wrote during my university studies. That's it.
hvfrancesco/homino
A diy Arduino compatible board with some moloko vellocet addition (e.g. featuring on-board 433Mhz RF transceiver for experiments on home-automation and microcontroller communication)
di-unipi-socc/MultiDIPS
AlbertoCampini/IALAB
Intelligenza Artificiale e Laboratorio
matteoredaelli/dmcommunity-challenges
My solutions for challenges from https://dmcommunity.org/challenge/
AngeloFerrando/nuMonitor
NeejaYanglea/Prolog-exercises
a few exercises in Prolog for Logic course at RomaTre University
LolloneS/multivariate_polynomials
Progetto SWI-Prolog e Common Lisp sui polinomi multivariati
goldenmat/IA
Progetto Intelligenza Artificiale
alessiocarrafa/plSolver
Solver written in Prolog
Balestrino/Dual-Linear-12V-PSU
luigidr/qt-opencv-warmup
Examples for getting started with OpenCV and Qt
fedelodo/LP-Parser-JSON
Simple JSON parser in Common Lisp and Prolog for a school project.
lorenzoranucci/rectangle_packing
Rectangle packing algorithm in Prolog and ASP
conner985/UnityLogic
BDI Agents and Artifacts in Unity
mario-gianni/clp_planning
clp fd planning solver and action theories examples
pinasu/Piedmont-CSP
A Contraint Satisfaction Problem solved in Prolog.
ArnaudFadja/phil_datasets
This repository contains examples of Hierarchical Probabilistic Logic Programs datasets.
ktzee/dotfiles
Just my shitty conf files.
fanakin/arnlib
utilities and qt wrapper for several Aurion tools
dtfabio/Travel-Better-Prolog
A system expert that generate a destination of a vacation
dtfabio/Fast-Diagnosis
A system expert that is able to return a person's illness based on the symptoms he has
IASI-SAKS/hyperion
Java test program analyzer