×
Log in
Get Started
Travel
Technology
Sports
Marketing
Education
Career
Social Media
+ Explore all categories
Report -
FLUX. FLUX Predicates holds(X, Z) –Asserts X in Z knows(X, Z) –X is known to be true in Z knows_val(X, V, Z) – update(Z1, FAdd, FRemove, Z2) –Z2 = Z1.
Select
Pornographic
Defamatory
Illegal/Unlawful
Spam
Other Terms Of Service Violation
File a copyright complaint
Please pass captcha verification before submit form