logic-programming

38 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
clp(Z) vs. Kiselyov relational arithmetic
user_23224560
•
2
1
143
clpz minikanren logic-programming constraint-programming
Logic programming in python
user_75477810
•
2
5
8247
logic-programming prolog python
Clojure core.logic : nafc and ground
user_84820
•
2
1
148
minikanren negation-as-failure logic-programming clojure
Does MiniKanren have the "not" operator?
user_19371970
•
5
2
849
minikanren clojure-core.logic negation logic-programming clojure
Datalog vs CLIPS vs Prolog
user_4439280
•
33
2
15128
datalog clips logic-programming prolog
Executing prolog code on an iPhone
user_3673790
•
17
5
5298
logic-programming prolog iphone
Relational/Logic Programming in Python?
user_1993970
•
38
10
19435
logic-programming prolog python
Embedded Prolog Interpreter/Compiler for Java
user_2002440
•
45
13
10770
logic-programming prolog constraint-programming embedded-language java
Hot Questions