Projects

Updated 6 months ago

A Julia package for Prolog-style logic programming.

first-order-logic fol julia logic logic-programming prolog

Updated 6 months ago

A Kotlin Multi-Platform ecosystem for symbolic AI

2p java javascript js jvm kotlin kotlin-multi-platform kotlin-multiplatform logic-programming prolog simbolic-ai symbolic tuprolog

Updated 6 months ago

Logtalk - declarative object-oriented logic programming language

declarative-language declarative-programming logic-programming logtalk oop prolog

Updated 4 months ago

This is a basic Prolog tutorial repo for the dicussion group at IU

prolog prolog-programming-language

Updated 6 months ago

GNU-Make-like utility for managing builds and complex workflows

bioinformatics gnu-make makefiles prolog swi-prolog workflows

Updated 6 months ago

Online, interactive edition of the "Simply Logical" Prolog textbook

jupyter-book prolog simply-logical swish

Updated 5 months ago

:calendar: ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)

answer-set-programming asp clingo json prolog python tkinter tkinter-gui

ecosyste.ms