SourceForge.net Logo
 Home
 Download
 Screenshots
 Release Notes
 License
 News
 Feedback
 Credits
 Publications
 Statistics
 News
  • July, 8th, 2011:
    • ACIDE 0.8 released, due to Javier Salcedo Gómez, a student working on the project during the academic course 2010-2011
  • November, 5th, 2008:
    • ACIDE 0.7 released, due to Miguel Martín Lázaro, a student working on the project during the academic course 2007-2008
  • January, 23th, 2008:
    • We are working on a more stable release (0.7). Keep tuned!
  • August, 20th, 2007:
    • ACIDE 0.6 released, this release and previous ones are due to the students Diego Cardiel Freire, Juan José Ortiz Sánchez, and Delfín Rupérez Cañas, who were working on the project during the academic course 2006-2007
    • ACIDE 0.6 tested with Toy 2.3.0. No changes are now required on TOY
    • ACIDE 0.6 tested with LaTeX
  • June, 4th, 2007:
    • ACIDE 0.5 released
  • May, 18th, 2007:
    • ACIDE 0.4 released
    • ACIDE 0.4 tested with DES 1.3.0. No changes are now required on DES
  • April, 25th, 2007:
    • ACIDE 0.3 released
  • April, 16th, 2007:
    • ACIDE 0.2 released
  • April, 9th, 2007:
    • ACIDE 0.1 released
  • March, 16th, 2007:
    • ACIDE 0.0 launched as alpha development version
    • ACIDE 0.0 tested with:
      • cmd.exe (Windows operating system shell)
      • DES 1.3.0 (a deductive database system). Please change the following clause in des.pl (add the third line):
        des:-  nl_log,
          write_prompt,
          flush_output,
          readln(S,_E),
          write_only_to_log(S),
          nl_only_to_log,
          nl_log, process_input(S), !,
          des.
      • Toy 2.3.0 (a constraint functional logic system). Please change the following clause in initToy.pl (add the fourth line):
        execute:-
            !,
            write_prompt,
            flush_output,
            readln(S),
           (process(S) -> execute;
             halt(0)).
[Home ] [Download] [Screenshots] [Release Notes] [License] [News] [Feedback] [Credits] [Publications] [Statistics]