A Julia package for Prolog-style logic programming.
-
Updated
Feb 5, 2023 - Julia
#
fol
Here are 11 public repositories matching this topic...
Ontological Interpretations for Web Property Graphs
-
Updated
Mar 19, 2021 - Makefile
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
open-source
ai
first-order-logic
logic-programming
fol
answer-set-programming
satisfiability
nonmonotonic
stable-model-semantics
-
Updated
Dec 29, 2023 - Scala
Propositional logic and FOL proofs (froward style)
-
Updated
Dec 2, 2017 - Isabelle
Collection of prop-logic and FOL exercises solved in Coq
-
Updated
Dec 2, 2017 - Coq
Bank Churn
pipeline
linear-regression
cross-validation
regression
xgboost
decision-trees
feature-engineering
hyperparameter-tuning
fol
boosting
lasso-regression
bagging
kfold-cross-validation
missing-values
-
Updated
May 7, 2023 - Jupyter Notebook
Robinson's Unification Algorithm of First Order Logic Terms
-
Updated
Sep 22, 2021 - Java
General purpose programming language implementation
-
Updated
Apr 26, 2024 - Java
Implemention of common resolution refutation strategies
-
Updated
Feb 20, 2017 - Java
Improve this page
Add a description, image, and links to the fol topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the fol topic, visit your repo's landing page and select "manage topics."