Projects in Awesome Lists tagged with fol
A curated list of projects in awesome lists tagged with fol .
https://github.com/ztangent/julog.jl
A Julia package for Prolog-style logic programming.
first-order-logic fol julia logic logic-programming prolog
Last synced: 07 May 2025
https://github.com/linkml/owlstar
Ontological Interpretations for Web Property Graphs
fol knowledge-graph logic owl probabilistic-models rdf rdfstar semantics semweb
Last synced: 04 Feb 2026
