The prolog prototype version 1 files are contained in the zip file linked below. All of the files should be placed in the same directory and then the file "one.pl" should be consulted. One.pl contains instructions to demonstrate use on a simple jtms which can be trivially worked through by hand. Other files contain comments on the function of each predicate although many are internal to the program and should not be used by the user. User predicates are specified in the comments at the start of each file.