user2199630
Reputation: 223
How to create arithmetic predicates in pyDatalog?
how do I translate this kind of arithmetic predicate to a legal pyDatalog predicate?
add(X, Y, Z) ← X + Y = Z
for example:
?add(5, 7, Z).
the answer should be: add(5, 7, 12).
Thanks!
Upvotes: 0
Views: 277
Answers (1)
Related Questions
- PyDatalog: list of values in answer
- Pydatalog, Can't print right side of rules
- Logic programming in python
- How can I use predicates in Python
- Call prolog predicate from python
- How to create dynamic arithmetic facts in pyDatalog?
- Logical Disjunct with PyDatalog
- Using boolean operators in pyDatalog
- Why does creating a relationship in pyDatalog seem to give me the wrong answer?
- Using pyDatalog for constraint stores