GitHub repository: rporrini/abstat-akp-inference
Primary language: Prolog
Created: 2015-05-19T16:56:23Z
Description: repository of the code for the "The Impact of Logic: from Proof Systems to Databases" course assigment