CS240A


 

LDL++ /Datalog for CS240A


  • To run LDL++5.1 on the CS-Dept Sun workstations:

    /u/class/cs249cz/ldl++/LDL++5.1

    This also works on cheetah or other CS-Dept servers accessible via secure telenet or SSH Secure Shell.

  • This supports the interface commands described HERE.

    Slides of a simple LDL++ sesssion.
  • For documentation on LDL++, see HERE

Example of an LDL++ session: