User Tools

Site Tools


sc330_f2016:prolog1

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
sc330_f2016:prolog1 [2016/10/19 20:21]
jhansen
sc330_f2016:prolog1 [2018/10/19 21:50]
morse
Line 22: Line 22:
 sudo apt-get install swi-prolog sudo apt-get install swi-prolog
 </​code>​ </​code>​
-====Deliverables:====+====Deliverables====
  
 You will turn in two prolog programs (in separate files) that solve the following logic puzzles: You will turn in two prolog programs (in separate files) that solve the following logic puzzles:
  
-  *{{sc330_f2016:​schoolsout.png?​linkonly|School'​s ​Out!}} +  *{{sc330_f2016:​rosiesroses.png?​linkonly|Rosie'​s ​Roses}} ({{sc330_f2016:​rosies-roses-key.pdf?​linkonly|Solution}}) ​ 
-  *{{sc330_f2016:​rosiesroses.png?​linkonly|Rosie'​s ​Roses}}+  *{{sc330_f2016:​schoolsout.png?​linkonly|School'​s ​Out!}} ({{sc330_f2016:​schools-out-key.pdf?​linkonly|Solution}}
  
-To help you start, we've provided a [[smapleSolution.pl|sample solution]] to {{sc330_f2016:​tie.png?​linkonly|It'​s a tie}}. Use this as a model for your own solutions.+To help you start, we've provided a [[smapleSolution.pl|sample solution]] to {{sc330_f2016:​tie.png?​linkonly|It'​s a tie}}. Use this as a model for your own Prolog ​solutions.
  
-====Notes:====+====Notes==== 
 +  *There are links above to the solutions (not the Prolog code) for these two puzzles so that you can double-check the results produced by your code.  We strongly encourage taking a few minutes to solve these puzzles by hand so that you get a feel for how to solve them and the "​facts"​ you're extracting from the clues in the puzzle. ​ This will give you a better feel for what you need to encode in your Prolog solution as well as giving you a feel for what Prolog'​s trying to do under the hood.  (And it's fun!)
   *Just copy and paste the all_different function. It simply checks to make sure each item in the list is unique.   *Just copy and paste the all_different function. It simply checks to make sure each item in the list is unique.
   *Check spelling errors. There is no such thing as misspelled atoms. So speigel and spiegel are both valid but different.   *Check spelling errors. There is no such thing as misspelled atoms. So speigel and spiegel are both valid but different.
sc330_f2016/prolog1.txt · Last modified: 2021/06/30 23:42 (external edit)