prolog
Here are 59 public repositories matching this topic...
A compact, efficient Prolog interpreter written in plain-old C.
-
Updated
Dec 1, 2024 - C
My unofficial picat http://picat-lang.org/ repository
-
Updated
Jan 11, 2024 - C
ALS Prolog Compiler & Development Environment
-
Updated
Jul 16, 2024 - C
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
-
Updated
Dec 11, 2023 - C
BTECH Courses semwise
-
Updated
Jul 17, 2024 - C
K-Means libraries for C, Lisp, Prolog and Ruby
-
Updated
Apr 27, 2022 - C
Homeworks given at Department of Computer Engineering, Middle East Technical University.
-
Updated
Aug 23, 2020 - C
Personal Code Repo for MU IT Sem 3 Labs
-
Updated
Nov 9, 2022 - C
This repo contains my lab works and solved problems from different books
-
Updated
Apr 23, 2022 - C
Two programs that illustrate the creation of OEIS array A089840, which lists signature permutations of non-recursive Catalan automorphisms, that is, bijections of finite plane binary trees, with no unlimited recursion down to indefinite distances from the root.
-
Updated
May 2, 2019 - C
A symbolic execution engine in Prolog for C
-
Updated
Aug 23, 2023 - C
The incident reporter for MetroTechno
-
Updated
Sep 10, 2022 - C
Improve this page
Add a description, image, and links to the prolog topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the prolog topic, visit your repo's landing page and select "manage topics."