Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master

Nov 10, 2006

  1. [VRG]

    - first attempt to fix the temporary plane problem
    - all tests pass now. (except the skipped tests in
      t/contradict.t.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@846 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  2. [VRG]

    - added a (now-commented-out) assertion to
      anti-vectorize.xclp, which reveals some deep bugs
      in our knowledge base concerning the lack of
      equality space relation.
    - added t/contradict.t to test the DBC checking
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@845 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  3. [VRG]

    - added the TODO file.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@844 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored

Nov 09, 2006

  1. [VRG]

    - added sample/contradictive.vrg to test contradictive
      VRG specification
    - added assertions to knowledge/vector-eval.xclp which
      has thus brought DBC (Design By Contract) to the VRG
      knowledge base!
    - added more tests to t/senior.t.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@843 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  2. [VRG]

    - added t/senior.t to test for problems we tackled in
      the senior middle school.
    - added more rule to preprocess.xclp in order to process
      "plane-line" relationships.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@842 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  3. [VRG]

    - changed the naming convention used in the knowledge
      base.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@841 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  4. [VRG]

    - added t/errors.t (for real this time)
    - optimized the compilers a bit. xclips is now about
      19% faster, yay!
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@840 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  5. [VRG]

    - added type checking code to vrgs.grammar.
    - added t/errors.t to check vrgs.pl's error handling. all
      tests pass now.
    (redefined variables, undefined variables, wrong number
     of arguments for the meet and project predicates are
     now checked.)
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@839 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  6. [VRG]

    - updated the samples.
    - fixed three.vrg for real.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@838 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  7. [VRG]

    - Clips::GraphViz: used a different node shape for
      initial facts.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@837 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  8. [VRG]

    - added doc/quotes.txt
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@836 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  9. [VRG]

    - added more more samples to the sample/ subdirectory.
    - fixed Clips::GraphViz so as to process
      sample/nonsense.vrg.
    - fixed sample/three.vrg.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@835 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored

Nov 08, 2006

  1. [VRG]

    - added two groups of tests to t/sanity.t. all tests
      pass.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@834 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  2. [VRG]

    - vrg-run.pl is now a full-fledged VRG system frontend.
      currently it accepts any type of .vrg, .xclp, .clp
      files as command line arguments, and support -t (the
      testing mode), -v (the verbose mode), and inferencing
      flowchart at different levels.
    - added tests to t/sanity.t to test for the "YES"/"NO"
      output of vrg-run.pl.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@833 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  3. [VRG]

    - small comment tweaks.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@832 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  4. [VRG]

    - added some VRG samples (along with the inferencing
      flowcharts)
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@831 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  5. [VRG]

    - renamed t/sanity2.t to t/sanity.t.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@830 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  6. [VRG]

    - removed unnecessary files.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@829 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  7. [VRG]

    - more hacks in Makefile.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@828 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  8. [VRG]

    - moved xprolog-related stuff to the xprolog/
      subdirectory.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@827 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  9. [VRG]

    - major directory layout reorganization.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@826 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  10. [VRG]

    - added tests to t/sanity2.t for vrgs.pl. all tests pass.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@825 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  11. [VRG]

    - removed sanity.t since it's already in t/
    - added some .pm to Makefile's clean.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@824 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  12. [VRG]

    - moved *.t to t/*.t.
    - abstracted testing logic from t/sanity2.t to t::VRG
      which is the general test scaffold.
    - checked in vrgs.pl, which is the VRG script compiler.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@823 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  13. [VRG]

    - first sketch for the VRG script compiler.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@822 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored

Nov 07, 2006

  1. [VRG]

    - added anti-vectorize.xclp which completes the whole
      problem solving engine.
    - added tests for the anti-vectorization process to
      sanity2.t. and now all the tests are passing!
    - made vrg-run.pl to produce both eval.png and final.png
      when the -d option is specified.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@821 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  2. [VRG]

    - the CLIPS::Visualize::draw method now can be
      goal-driven. yay!
    - separated code from xclips.pl to a new wrapper module
      CLIPSx_Compiler.pm.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@820 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  3. [VRG]

    - made CLIPS.pm use File::Temp so as to avoid deadlock.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@819 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  4. [VRG]

    - added vector-evaluation tests to sanity2.t (all tests
      now pass! yay!)
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@818 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  5. [VRG]

    - switched sanity2.t to the xclips syntax.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@817 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  6. [VRG]

    - added CLIPS_Visualize.pm which can visualize CLIPS's
      watch results using GraphViz.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@816 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  7. [VRG]

    - renamed vectorize-run.pl to vrg-run.pl (the old one
      is overridden)
    - added builtin infix operators "eq", "neq", and ":=" to
      xclips.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@815 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  8. [VRG]

    - renamed the "oblique" predicate to "cross"
    - added new facts for meet(l, m, P).
    - added many tests to sanity2.t.
    - repaired Makefile further.
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@814 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  9. [VRG]

    - fixed some bugs in Makefile.
    - added infix_prefix:<~>
    - removed the ad-hoc definitions for infix:<~on>,
      infix:<~//>, infix:<~T>, and infix:<~X>.
    - made the trailing full-stop optional for the "define",
      "include", and operator definition directives.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@813 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
  10. [VRG]

    - repaired the rule name generator for included xclips
      files.
    - improved the Makefile.
    
    
    git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@812 625e195c-0704-0410-94f2-f261ee9f2fe7
    agent authored
Something went wrong with that request. Please try again.