Instructions for Dave's Logic Macintosh and Windows

Dave's Logic  by D F Curran

©Copyright 1999 D F Curran

This program was created with Metrowerks CodeWarrior and Metrowerks PowerPlant 
©1993-1997 Metrowerks, Inc.

The 68K Macintosh program was created with Symantic C++ 6.0. © Copyright 1993 Symantic Corp.

WARRANTY DISCLAIMER 	

D F CURRAN PRODUCTIONS DISCLAIMS ALL WARRANTIES RELATING TO THIS SOFTWARE, WHETHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE, AND ALL WARRANTIES ARE EXPRESSLY AND SPECIFICALLY DISCLAIMED, NEITHER D F CURRAN PRODUCTIONS, NOR ANYONE ELSE WHO HAS BEEN INVOLVED IN THE CREATION, PRODUCTION, OR DELIVERY OF THIS SOFTWARE SHALL BE LIABLE FOR ANY INDIRECT, CONSEQUENTIAL, OR INCIDENTAL DAMAGES ARISING OUT OF THE USE OR INABILITY TO USE SUCH SOFTWARE EVEN IF D F CURRAN PRODUCTIONS HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES OR CLAIMS.  IN NO EVENT SHALL D F CURRAN PRODUCTIONS LIABILITY FOR ANY DAMAGES EVER EXCEED THE PRICE PAID FOR THE  LICENSE TO USE THE SOFTWARE, REGARDLESS OF THE FORM OF CLAIM.  THE PERSON USING THE SOFTWARE BEARS ALL RISK AS TO THE QUALITY AND PERFORMANCE OF THE SOFTWARE.  

Some states do not allow the exclusion of the limit of liability for consequential or incidental damages, so the above limitations may not apply to you.   

This agreement shall be governed by the laws of the State of Montana and shall inure to the benefit of D F Curran Productions and any successors, administrators, heirs, and assigns.  Any action or proceeding brought by either party against the other arising our of or related to this agreement shall be brought out in a STATE  or FEDERAL COURT of competent jurisdiction located in Missoula County, Montana.  The parties hereby consent to in personam jurisdiction of said courts.

License for registered versions is for one computer.  Program will not be registered if transferred to a different computer.


Beginning:


	  To understand how the puzzle writing/solving is approached you should first read "Make Money Writing Logic Puzzles"  a copy of which is included with this file before continuing with the instructions.  

	You will also need an internet connection to connect you to the example puzzles at http://members.aol.com/dfcurran/logic/logicpuz.html.  The example puzzles are in the file "May 1999".

	The program "Dave's Logic" in the Macintosh and "DfcLogic.exe" PC, is a text interpreter.  The program understands a number of text commands saved in a "text only" file.  Any word processing program which allows you to save a file as "text only" or "text export", etc. will work with the program.

Running the program:

Macintosh:

 The Power Macintosh is a text editor which brings up a template page to fill in with your puzzle.  You may save it or print it or both. Recommend you save often.  To solve a puzzle use Apple R.  It will run the program you've typed in. Use Apple W to close windows. If you hit Apple Q the program will exit.

	The Macintosh 68k program does not have a text editor.  You must use the template to create your own with a text editor that can save files in text only format.  This program should run on any 68K Mac system 6 or later.  (I did not make a fat binary application as the one I made would not run on my old SE30 on system 6.07.  This 68K program does run on older Macs. )  The opening screen is a dialog box.  DO NOT CHANGE ANYTHING ON THE STARDARD INPUT SIDE. This must be CONSOLE.  If you click the file button on the INPUT side the program will crash.  On the output side you may chose, console, file, file and console or file and printer.  If you choose printer the program will provide a print window after the program has quite. Make sure you chose file if you wish to save your results.   Once you've made your choices in the dialog--hit okay. From then on the program has a itself has one command:  You enter the name of the text file you've entered your data in and wish to solve.  The file must be in the same folder as the program.  You enter the name of the file and the program runs. For 68k you'll need a separate text editor to run the program.


Windows:

	The Windows program  has two commands:  You enter the name of the file you wish to solve.  The file must be in the same folder as the program.  Then the program asks the name of the file you wish to put your results into.  When you enter the name of the file you wish to write results to the program runs.  You then need to open the results file with your word processor to view the results.  Choose courier type to view the table correctly.

Both Mac 68k  and Windows:
	When the program finishes you will be asked for another file name.

Power Mac 

 Results are put in a "Whatever name you used".out window.
Do not use ".out" in a file name you wish to solve.  ".out" is reserved for output windows.  The program solves the topmost, or last opened window.  To make sure the window you are working on is the topmost window, save the file before solving.

Power Macintosh:

	To Quit enter Apple 'Q'. Enter Apple W to close a window and work on something else.  You will be asked if you wish to save the file. There is a 32K limit on data in the open file.  If you wish to save the results use Command 'S' before collecting 32k of data.  

Try running the program and enter "packrat".

Windows:

	To Quit enter 'q' and return.  If the program doesn't quit, click on the close box, and choose Windows force exit.

	Try running the program and enter "packrat".  

Making up a text file to run in the program:

	To make up a file to check you'll need a word processor.  Any word processor that can save as text will work.  Make sure you always save your puzzle solving files as text only.

	Open the text file "packrat" in the Macintosh or "packrat.txt" in a PC file which should be in the program file.

/* means the opening of a comment block.
The corresponding close of a comment block is */

	Anything between a  /* and a */ will be ignored. 

/* Because this is between an comment block opening and a comment block close this will be ignored */ 

	Here is an example from "packrat" or "packrat.txt"


/*
*
*
* 			Packrat Puzzle
*
*********************************************************/


	 The above is not read by the program.  You can use  /* */ to add comments to the program. You don't wish the program to read.

	HOWEVER you MUST NOT nest comments

/*  This is a comment 

	/* This is a nested comment */ 

This will confuse the program  if you do this */

You MUST make sure that every /* has a corresponding */

POWER MACINTOSH ONLY: Another way to comment out lines is with the '<' 
and '>' characters.  Anything between these characters will be disregarded.  Every < must have a corresponding >

Another way to make comments is to use //

Anything on a line following a // is ignored.  

//this line is ignored

You may use // within a comment block. 


/*

		//This will not bother the program
*/


The first important line you must use is "#variablesStart"

#variablesStart and the variable list MUST BE THE FIRST DATA INFORMATION YOU PUT INTO YOUR PROGRAM.  ANYTHING PRECEDING IT WILL NOT BE READ.  

#variablesStart  Tells the program that you are about to begin the variables groups that it must compare.  

The word "#variablesStart" MUST BE IN THE PROGRAM ONLY ONCE 

Everything except items commented out after #variablesStart will be read in as a variable until reaching #variablesEnd

	
The following is an example from packrat

#variablesStart

//items
 Pen
 Key 
 Dime  
 Knife   
 Compass 


//Location
Bed
Stove
Trash
Nest
Outhouse

//Time
 9AM
10AM
11AM
Noon
1PM

#variablesEnd

#variablesEnd tells the program that you have ended your entry variables. You can write the variables in other ways

//Items
Pen Key Dime Knife Compass 

is okay too.  So is 

//items
Pen, Key, Dime,  Knife,   Compass 

By the way the only characters the program can read are:

The letters 'A' through 'Z', and 'a' through 'z'
The characters '#'  and '-' and '_'
 The digits '0' through '9'
And a period '.'

Everything else it reads as the end of a word. For example, 
it does not read comma's ',' and takes them as the end of a word.

PEN@208 would be read as two separate words Pen and 208 .

PEN,KEY<DIME<KNIFE,COMPASS

would be read as five separate words: PEN KEY DIME KNIFE COMPASS

3, 3.5, 4, 4.5, 5 would be read as five separate words: 3 3.5, 4, 4.5, 5


How many variables can I have:

You may have up to 100 variables in a puzzle.  In up to ten groups.

Variable groups must match in number.  If you have five in the first group you must have five in the second, etc. up to ten groups.  In packrat there are three groups of five variables.

There is one exception to the rule of having numbers in groups match.  You may have one additional group at the end with one variable.  We will get back to this later.

Don't forget #variablesEnd.  

The next item you MUST HAVE is #DONE_COUNT_NUMBER

This is the number of times the computer runs  the puzzle through the program to see if it can solve it.  If it finds the answer before this number it quits.  (gDoneCountNumber which appears at the bottom of the printout gives the number of times the program ran. The higher the gDoneCountNumber the harder the puzzle was to solve. )

The standard is :

#DONE_COUNT_NUMBER  111 

The reason you might want to change it is if you are writing the solution to a particularly hard puzzle.  If you set the #DONE_COUNT_NUMBER  1
then you can see what the solution looks like after one run through the solving loop.  You can then set it to #DONE_COUNT_NUMBER  2, etc. and see how the computer is solving the puzzle.

The Next important thing to enter is #secondGroupBeginsWith;

The computer can not know how many variables are in a group until you tell it.  Since the second group in the packrat puzzle begins with Bed this is what you'd put there for the packrat puzzle.

#secondGroupBeginsWith Bed


After than you are ready to enter the code for solving your puzzle.

There are only 5  ACTION codes to use.  They may be entered as many times as necessary.  

The computer program is case sensitive to the  ACTION codes. You might find it easier to copy and paste the ACTION codes from the template and replace them with the variables from your puzzle. 

The first ACTION code is "Set":

Enter the word Set followed by the two variable names you wish to Set, and then the value you want to Set the intersection of the two variables too.  

(You may Set a value to 0 or 1.)

//1.1 Fishy discovered an object hidden along with sticks, and mattress //stuffing in the stove sometime before noon.

Set Stove Noon 0 
Set Stove 1PM 0 

The second ACTION CODE is "FirstIsGreaterThan"

For this enter the greater valued variable first ( This means greater in the range indicated, for the example below,  fishy found his dime first so it is lower in value in the range of 9AM to 1PM. ) followed by the lower variable =, Dime, and the range itself 9AM to 1PM.

//2.3  Fishy found his lucky dime before he found his gold pen, but found it after he found his pen knife. 

FirstIsGreaterThan Pen Dime 9AM 1PM 

FirstIsGreaterThan Dime Knife 9AM 1PM 

The third ACTION CODE is "GreaterIsAdjacentToByX"

This takes five variables.  The order of the first two is not important.  The second two are the range--again here 9AM to 1PM and the fifth is the distance.  Note that this distance can't be more than the limits of the range itself.  (There are five time variables so the limit of the  difference between them in this case is 4. ) 

//1.3 It  was two hours after he found  his lucky dime that Fishy found his //key. 
GreaterIsAdjacentToByX Key Dime 9AM  1PM  2 


The fourth ACTION code is "TheseTwoMustBeFurtherApartThanX"

This example comes from the "Montana" puzzle
This also takes five variables.  The order of the first two is not important.  The second two are the range--again here K3 to K7 and the fifth is the distance they must be separated by.  Note that this distance can't be more than the limits of the range itself.  (There are five time variables so the limit of the  difference between them in this case is 4. ) 

//Either Kelly or Samantha walked more than one kilometer further than //the other. 

 TheseTwoMustBeFurtherApartThanX( Samantha, Kelly, K3, K7, 1);


The fifth ACTION code is "TheseTwoMustBeWithinXPlusOrMinus"

This example also comes from the "Montana" puzzle.

This also takes five variables.  The order of the first two is not important.  The second two are the range--again here K3 to K7 and the fifth is the distance they must be within each other by.  Note that this distance can't be more than the limits of the range itself.  (There are five time variables so the limit of the  difference between them in this case is 4. ) 

//The visitor to Last Chance Gulch walked either one kilometer more, or //one less, than the one who visited Rock Creek.


TheseTwoMustBeWithinXPlusOrMinus( Creek, Gulch, K3, K7, 1);   


SPECIAL CONDITIONS

As we mentioned earlier you may have one extra group with one variable i it.  In this group it is possible to have more than one true value. 

Imagine that we added to the packrat puzzle. We are told two of the packrats are female and three are male.  We are also told that the packrat that took the pen and packrat that put something under the bed were female.

the file "female" is identical to packrat but for these two changes.
The variable "Female" in the variable group.  This must be between
#variablesStart and #variablesEnd.

And this information at the end.  
#DataBeginChangeExtra 1 2

Set Pen Female 1
Set Trash Female 1

( It doesn't matter where these appear as long as they come after the variables.  )



 "#DataBeginChangeExtra"  can only effect one extra last column in an otherwise evenly balanced set of groups.  It takes two values.


The first value after "#DataBeginChangeExtra" must be 0 or 1.  This is what to count. 	

In this case we want to count Females.  So we set this value to 1.

We know there will be 2 females so we set the second value which is the count we expect to 2.  

#DataBeginChangeExtra 1 2

Set Pen Female 1
Set Trash Female 1


We could also do it the opposite way as in packmale, which uses "Male" as the extra variable.

#DataBeginChangeExtra 0 2

Set Pen Male 0
Set Trash Male 0


That's all there is.  Play with it.  If you have trouble or find bugs E-mail me at dfcurran@aol.com.  


Error Messages


-3   Too Many Zeros error.  If there are five members in a group and only can be true,
     then four have to be false.  If five are found false then something is wrong.  Look 
     for an error in your solution entries.
     
-5 &
-15  CHANGED error.  If [Mary][Hat] is true, then [Hat][Mary] must be true.
     If [Mary][Hat] doesn't match [Hat][Mary] we get a -5 or -15 error.  Look for
     a contradiction in your solution entries.
 
-17 &
-27  Error in TheseTwoMustBeWithinXPlusOrMinus.

-57 &
-67  Error in TheseTwoMustBeFurtherApartThanX.
	 
-89 Error in EitherAorBisC.

-111  General error in reading data from your solve file.  This could mean you tried to solve 
      a file which is not a solution file, or there is something wrong with the solution file.
      Make sure your comment lines are no longer than 80 characters.
 
                //Comment lines begin with two slashes and should be less than 80 characters long

      Longer comments should be broken down into smaller lines and commented or
      used the /*  Comment is in here */ format.


-537  #variablesStart was not found. YOU NEED THIS!

-538  #variablesEnd was not found.  YOU NEED THIS!

-601  #SecondDataBeginsWith was not found or it's value was not set. YOU NEED THIS!

-600  You used #DONE_COUNT_NUMBER in your solution file and a value for it was not found.

-617  You used #SOLVE_FAST in your soluton file and a value for it was not found. 

-789 &  
-333  You entered a #DataBeginChangeExtra and its values were not found.
  
-777 &
-707 End of comment not found error.  Either a < was found without a > or
	 a /* was found without a */

-999  Spelled Word Not Found Error.  Something in the solution of your puzzle did not match
      the spelling in the variable list.