1. 11 mar., 2016 1 validation
  2. 10 mar., 2016 1 validation
  3. 09 mar., 2016 1 validation
  4. 06 mar., 2016 3 validations
  5. 05 mar., 2016 4 validations
  6. 01 mar., 2016 1 validation
  7. 23 mai, 2013 1 validation
  8. 05 nov., 2011 1 validation
  9. 23 oct., 2011 1 validation
  10. 17 oct., 2011 1 validation
  11. 11 oct., 2011 1 validation
  12. 10 oct., 2011 2 validations
  13. 09 oct., 2011 1 validation
  14. 07 oct., 2011 2 validations
  15. 06 oct., 2011 1 validation
  16. 05 oct., 2011 5 validations
  17. 04 oct., 2011 7 validations
  18. 15 sept., 2011 1 validation
  19. 12 sept., 2011 1 validation
  20. 28 août, 2011 1 validation
  21. 13 jan., 2008 1 validation
  22. 13 juil., 2007 2 validations
    • spottedMetal's avatar
      Added functions variables, test_ask. · 551af9ab
      spottedMetal a écrit
      Corrected doctests for standardize_apart.
      
      Preliminary doctest examples for fol_bc_ask.
      
      Corrected error in the 'literals' function.
      
      In class FolKB, added doctest examples; added definition
      of method ask_generator.
      
      Added functions pretty, pretty_dict, pretty_set, pp;
      redefined ppdict, ppset, using pretty_dict and pretty_set.
      
      Cleaned up code, simplifying statements and comments.
      551af9ab
    • spottedMetal's avatar
      Added function subst_compose. · cbd652ff
      spottedMetal a écrit
      fol_bc_ask MIGHT be working now, in the form of returning a list of all 
      answers instead of yielding them one at a time.  Needs more testing.
      cbd652ff