Strona główna Odkrywaj Pomoc
Zarejestruj się Zaloguj się
ai
/
OpenHands
2
0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Drzewo: 27716171bf
Gałęzie Tagi
OpenHands
/
evaluation
/
logic_reasoning
/
.cache_program
/
rules.krb

rules.krb 687 B
Historia Czysty

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152 
  1. fact1
    2. 

  2. 	foreach
    3. 

  3. 		facts.Quiet($x, True)
    4. 

  4. 		facts.Cold($x, True)
    5. 

  5. 	assert
    6. 

  6. 		facts.Smart($x, True)
    7. 

  7. 

  8. fact2
    9. 

  9. 	foreach
    10. 

  10. 		facts.Red($x, True)
    11. 

  11. 		facts.Cold($x, True)
    12. 

  12. 	assert
    13. 

  13. 		facts.Round($x, True)
    14. 

  14. 

  15. fact3
    16. 

  16. 	foreach
    17. 

  17. 		facts.Kind($x, True)
    18. 

  18. 		facts.Rough($x, True)
    19. 

  19. 	assert
    20. 

  20. 		facts.Red($x, True)
    21. 

  21. 

  22. fact4
    23. 

  23. 	foreach
    24. 

  24. 		facts.Quiet($x, True)
    25. 

  25. 	assert
    26. 

  26. 		facts.Rough($x, True)
    27. 

  27. 

  28. fact5
    29. 

  29. 	foreach
    30. 

  30. 		facts.Cold($x, True)
    31. 

  31. 		facts.Smart($x, True)
    32. 

  32. 	assert
    33. 

  33. 		facts.Red($x, True)
    34. 

  34. 

  35. fact6
    36. 

  36. 	foreach
    37. 

  37. 		facts.Rough($x, True)
    38. 

  38. 	assert
    39. 

  39. 		facts.Cold($x, True)
    40. 

  40. 

  41. fact7
    42. 

  42. 	foreach
    43. 

  43. 		facts.Red($x, True)
    44. 

  44. 	assert
    45. 

  45. 		facts.Rough($x, True)
    46. 

  46. 

  47. fact8
    48. 

  48. 	foreach
    49. 

  49. 		facts.Smart(Dave, True)
    50. 

  50. 		facts.Kind(Dave, True)
    51. 

  51. 	assert
    52. 

  52. 		facts.Quiet(Dave, True)
    53.