10 lines
88 B
Plaintext
10 lines
88 B
Plaintext
|
Success!
|
||
|
|
Schemes(1):
|
||
|
|
bob(A,B)
|
||
|
|
Facts(0):
|
||
|
|
Rules(0):
|
||
|
|
Queries(1):
|
||
|
|
bob(X,Y)?
|
||
|
|
Domain(0):
|
||
|
|
|