Logica is a collection of interactive web pages intended for use by students taking CS157 (Computational Logic). It differs from previous versions in that it is implemented in Javascript and runs entirely in the browser. The Javascript code is accessible by looking at the source code for the various pages and this file of useful subroutines, which is included on every page. The code is reasonably efficient, but it is intended more for understandability than speed. Students are encouraged to modify the code and thereby create more efficient, personalized versions.

Note that, although the system is reasonably bug-free, it is not 100% guaranteed. Also, although it is usable and useful, there are many user interface improvements that could be made. (In particular, there is almost no error checking at this time.) We have had spent only a few days developing this version of Logica, but we are planning to develop it further in the future. Meanwhile, please try to be patient with the system's shortcomings, and let us know if you have any interesting suggestions for improvement. Thanks.