1. 10 mar., 2016 1 validation
  2. 09 mar., 2016 1 validation
  3. 06 mar., 2016 3 validations
  4. 05 mar., 2016 4 validations
  5. 01 mar., 2016 1 validation
  6. 23 mai, 2013 1 validation
  7. 05 nov., 2011 1 validation
  8. 23 oct., 2011 1 validation
  9. 17 oct., 2011 1 validation
  10. 11 oct., 2011 1 validation
  11. 10 oct., 2011 2 validations
  12. 09 oct., 2011 1 validation
  13. 07 oct., 2011 2 validations
  14. 06 oct., 2011 1 validation
  15. 05 oct., 2011 5 validations
  16. 04 oct., 2011 7 validations
  17. 15 sept., 2011 1 validation
  18. 12 sept., 2011 1 validation
  19. 28 août, 2011 1 validation
  20. 13 jan., 2008 1 validation
  21. 13 juil., 2007 3 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
    • spottedMetal's avatar
      Added functions: is_positive, is_negative, is_literal, · de8ded4a
      spottedMetal a écrit
      literals, is_definite_clause.
      
      Partially implemented FolKB class and function fol_bc_ask.
      
      Fixed errors in pl_resolution, standardize_apart.
      
      Fixed errors in doctest cases for dpll_satisfiable, unify, extend,
      and pl_resolve.
      
      Added functions ppsubst, ppdict, and ppset, and used to simplify doctest cases.
      de8ded4a