The RAPSOFT Page

This page is maintained by Brandon Bennett (E-mail: brandon@comp.leeds.ac.uk).

All RAPSOFT software is copyright by Brandon Bennett and the University of Leeds.
No part of this sofware may be used for commercial purposes without the permission of Brandon Bennett. If you modify or add to any of the RAPSOFT programs you are obliged to notify Brandon Bennett and if requested to supply copies of any modified or additional code to Brandon Bennett.

What is RAPSOFT?

Rapsoft was developed at the University of Leeds as part of an EPSRC project on Logical Theories and Decision Procedures for Reasoning about Physical Systems (GR/K65041).

The software consists of a number of prototype program modules illustrating how logical reasoning techniques might be used in software applications. The main modules are:

  • Toplog Consistency checker for topological relations based on encoding into intuitionistic logic (see Spatial Reaoning with Propositional Logics [KR-94]).
  • QGIS: A GIS capable of working with both qualitative and quantitative spatial information.
  • Flock: Simulation of a flock of sheep using finite state automata augmented with spatial reasoning.
  • Proton: Real time simulation of newtonian mechanics.
  • Tarski: Implementation of Tarski's original Quantifier Elimination procedure for real valued polynomial equations and inequalities.

    Currently RAPSOFT is not being actively maintained. But if you want to use it or just look at it please contact me. I will be happy to advise on installation and operation.

    Implementaion Platform

    RAPSOFT is implemented in SICStus Prolog. Further information on SICStus and how to get it can be found at:
  • SICStus Home Page
    SICStus is available for academic use for a very reasonable fee.

    To code graphical user interfaces we are using using the SICStus interface to Tcl/Tk. To use the system you will need to have Tcl/Tk installed on your system.

  • TCL WWW Info
    Tcl/Tk is available free to anyone.

  • OS platforms: Rapsoft should run on any OS that supports SICStus and Tcl/Tk. It has been successfully run under SunOS, Linux and Windows95. SICStus must be set up so that its interfact to Tcl/Tk works properly.

    The RAPSOFT source code

    Source code of the RAPSOFT sytem is available in gzipped tar format or as a zip file:
  • rapsoft-0.5.1.tar.gz (~450K)
  • rapsoft-0.5.1.zip (~558K)

    • Disclaimer: You run this software at your own risk. This is the first version of Rapsoft that has been made available to others. So it is very rough and ready.

    Unpacking: To unpack rapsoft on a unix machine do 'tar -xzf rapsoft-X.X.X.tar.gz' . On windows get the zip file and unzip that however you normally do. This will create a directory called rapsoft containing the whole system.

    Running: Before running rapsoft you need to edit the declaration 'raps_home(PATH).' in the file rapsoft.pl in the top rapsoft directory. This should give the path of the rapsoft directory (it must end in '/'). To run the system simply start SICStus Prolog then consult the file rapsoft.pl. i.e., assuming you started Prolog in the rapsoft directory, just enter:
    [rapsoft].

    Documentation: At the moment there is no proper documentation available. Please mail Brandon with any queries you have.