Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

📚 The CoCalc Library - books, templates and other resources

132938 views
License: OTHER
Tweet
Share
Share
1
?- X is 3^2.

2
X = 9.

3


4
?- Y is X*X.

5
ERROR: is/2: Arguments are not sufficiently 

6
instantiated

7


8
?- X is X+1.

9
ERROR: is/2: Arguments are not sufficiently 

10
instantiated

11