{"ref":"swipl-installation","ref_type":"branch","master_branch":"master","description":"repository of the code for the \"The Impact of Logic: from Proof Systems to Databases\" course assigment","pusher_type":"user"}