Updated 4 months ago
https://github.com/dcavar/prolog-tutorial
This is a basic Prolog tutorial repo for the dicussion group at IU
Updated 6 months ago
simply-logical
Online, interactive edition of the "Simply Logical" Prolog textbook
Updated 5 months ago
https://github.com/adamouization/asp-timetable
:calendar: ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)