school/cs236/tests/lab02/in/in28.txt

22 lines
186 B
Plaintext
Raw Permalink Normal View History

2016-04-06 20:46:32 -07:00
Schemes:
bob(A,B)
Facts:
bob('4','2').
# rules section should exist
# queries should come after rules
Queries:
bob(X,Y)?
# facts can't be repeated
Facts:
bob('4','4').