Jun
11
accepted Backwards Chaining With Variables
Jun
8
comment Backwards Chaining With Variables
Why would X1 be bound in the second example but not the first?
Jun
8
asked Backwards Chaining With Variables
Nov
13
awarded Disciplined
Jul
6
awarded Supporter
Jul
6
awarded Supporter
Jul
6
awarded Editor
Jul
6
awarded Student
Mar
29
awarded Notable Question
Mar
19
awarded Editor
Mar
19
revised Can argument forms be sound?
added 11 characters in body
Mar
19
awarded Scholar
Mar
19
accepted Can argument forms be sound?
Mar
18
accepted Datalog Stratification
Mar
18
awarded Student
Mar
18
asked Can argument forms be sound?
Feb
14
awarded Popular Question
Sep
12
asked Datalog Stratification
Jun
6
comment No class def found error for JUnit Test on android
Ugh. Well, I was trying to port over a java project over to Android, and the tests were built around JUnit4. Replacing this with JUnit3 gives a whole bunch of compiler exceptions, but I suppose I could try and get through all of those. It seems just bizarre and arbitrary that this fails on just ONE of my test cases though.
Jun
6
asked No class def found error for JUnit Test on android
1 2