;;==========================================================================
;;
;; STARTER FILE FOR CSC 4240/5240 PROGRAM #1: Eliza
;;==========================================================================
 
;;----------------------------------------------------------------------------
;; eliza: top-level function which, when given a sentence (no
;; punctuation, please!), comes back with a response like you would.
 
( defun eliza ( sentence )
  ( respond ( change-pros sentence ) database ) )
 
;;----------------------------------------------------------------------------
;; change-pros: changes the pronouns of the sentence so that Eliza can
;; come back with the appropriately switched first and second person
;; references.
 
( defun change-pros ( sentence )
  ( cond 
    ( ( null sentence ) nil )
    ( ( equal ( car sentence ) 'you )
      ( cons 'I ( change-pros ( cdr sentence ) ) ) )
    ( ( equal ( car sentence ) 'I )
      ( cons 'you ( change-pros ( cdr sentence ) ) ) )
 
    ;; CHANGE THIS: add more cases here of pronouns or other words
    ;; that should flip in order for this to work well
 
    ( t ( cons ( car sentence ) ( change-pros ( cdr sentence ) ) ) ) ) )
 
;;----------------------------------------------------------------------------
;; respond: given a sentence, looks through the database in search of
;; a matching pattern and the response; given the database response,
;; uses 'instantiate' to fill in the blanks, and returns the completed
;; response
 
( defun respond ( sentence db )
  ( cond
    ;; end of DB, return nil - should never really happen
    ( ( null db ) nil )
 
    ;; if the result of matching the sentence against the current
    ;; pattern is a success, produce this response
    ( ( success ( setq result ( match sentence ( first ( car db ) ) ) ) )
      ( instantiate result ( second ( car db ) ) ) )
 
    ;; otherwise, keep looking through the DB
    ( t ( respond sentence ( cdr db ) ) ) ) )
 
;;----------------------------------------------------------------------------
;; match: if there is not a match between this pattern and this data,
;; returns 'fail;' otherwise, returns the sentence in partitioned
;; format
 
( defun match ( data pattern )
  ( cond
    ;; end of both data and pattern; a match
    ( ( and ( null data ) ( null pattern ) ) nil )
 
    ;; end of pattern, but not end of data; no match
    ( ( null pattern ) fail )
 
    ;; end of data, but not end of pattern; if the pattern starts with
    ;; a variable, eat it and try and match the rest of the pattern to
    ;; the null sentence (will only work if all variables); otherwise,
    ;; fail
    ( ( null data ) 
      ( cond
	( ( variablep ( car pattern ) )
	  ( if ( success ( setq result ( match data ( cdr pattern ) ) ) )
	      result
	    fail ) )
	( t fail ) ) )
 
 
    ;; first item of data and pattern are identical; if the rest of it
    ;; matched, return the first item cons'ed with the rest of the
    ;; partitioned sentence; otherwise, fail
    ( ( equal ( car data ) ( car pattern ) )
      ( if ( success ( setq result ( match ( cdr data ) ( cdr pattern ) ) ) )
	  ( cons ( list ( car data ) ) result )
	fail ) )
 
    ;; first item of pattern is a variable; if the rest of the data
    ;; (minus the first word, matched to the variable) is a match with
    ;; all of the pattern, return the appropriate stuff; if all of the
    ;; data (variable eats nothing) matches the rest of the pattern,
    ;; return appropriate stuff; else, fail.
    ( ( variablep ( car pattern ) ) 
      ( cond
	;; variable eats nothing;  () is put in partitioned sentence
	( ( success ( setq result ( match data ( cdr pattern ) ) ) )
	  ( cons () result ) )
	;; variable eats one word; word is cons'ed into the first
	;; element of the partitioned sentence, assuming that the step
	;; before an actual match word would be a ()
	( ( success ( setq result ( match ( cdr data ) pattern ) ) )
	  ( cons ( cons ( car data ) ( car result ) ) ( cdr result ) ) )
	;; otherwise, fail
	( t fail ) ) )
 
    ( t fail ) ) )
 
;;----------------------------------------------------------------------------
;; instantiate: takes a partitioned sentence and the response it has
;; been matched to and generates the appropriated completed response
 
( defun instantiate ( partitioned response )
  ( cond
    ( ( null response ) nil )
    ;; numbers indicate what part of the partitioned sentence to
    ;; insert into the response
    ( ( numberp ( car response ) )
      ( setq index ( - ( car response ) 1 ) )
      ( append ( nth index partitioned )
	     ( instantiate partitioned ( cdr response ) ) ) )
    ( t ( cons ( car response )
	     ( instantiate partitioned ( cdr response ) ) ) ) ) )
 
;;---------------------------------------------------------------------------
;;
;;  			     helping functions
;;
;;---------------------------------------------------------------------------
 
( setq fail '-1 )
 
( defun success ( result )
  ( not ( equal result fail ) ) )
 
( defun variablep ( word )
  ( equal word '0 ) )
 
 
;;---------------------------------------------------------------------------
;;
;;  			         database
;;
;;---------------------------------------------------------------------------
 
;; CHANGE THIS: add more to this database so that the interaction is
;; more interesting and communicative and so that Eliza sounds like you 
;; would sound in the same conversation!
;;---------------------------------------------------------------------------
 
( setq database
       '(
	 ;; example greetings/farewells -- change them to sound like you
	 ( (Hello 0)
	   (Hello - have a seat and tell me how you feel today.) )
	 ( (0 you came here because 0)
	   (A lot of people come here for that reason so you are not alone.) )
	 ( (0 Goodbye 0)
	   (Goodbye - I hope you enjoyed this session.) )
 
	 ;; feelings
	 ( (0 you think 0)
	   (And just why do you think 4 ?) )
 
	 ;; the catch-alls
	 ( (0) 
	   (Could you expand on that?) ) ) )
 
(eliza '(hello)) 

Ozs9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQo7Owo7OyBTVEFSVEVSIEZJTEUgRk9SIENTQyA0MjQwLzUyNDAgUFJPR1JBTSAjMTogRWxpemEKOzs9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQoKOzstLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCjs7IGVsaXphOiB0b3AtbGV2ZWwgZnVuY3Rpb24gd2hpY2gsIHdoZW4gZ2l2ZW4gYSBzZW50ZW5jZSAobm8KOzsgcHVuY3R1YXRpb24sIHBsZWFzZSEpLCBjb21lcyBiYWNrIHdpdGggYSByZXNwb25zZSBsaWtlIHlvdSB3b3VsZC4KCiggZGVmdW4gZWxpemEgKCBzZW50ZW5jZSApCiAgKCByZXNwb25kICggY2hhbmdlLXByb3Mgc2VudGVuY2UgKSBkYXRhYmFzZSApICkKCjs7LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQo7OyBjaGFuZ2UtcHJvczogY2hhbmdlcyB0aGUgcHJvbm91bnMgb2YgdGhlIHNlbnRlbmNlIHNvIHRoYXQgRWxpemEgY2FuCjs7IGNvbWUgYmFjayB3aXRoIHRoZSBhcHByb3ByaWF0ZWx5IHN3aXRjaGVkIGZpcnN0IGFuZCBzZWNvbmQgcGVyc29uCjs7IHJlZmVyZW5jZXMuCgooIGRlZnVuIGNoYW5nZS1wcm9zICggc2VudGVuY2UgKQogICggY29uZCAKICAgICggKCBudWxsIHNlbnRlbmNlICkgbmlsICkKICAgICggKCBlcXVhbCAoIGNhciBzZW50ZW5jZSApICd5b3UgKQogICAgICAoIGNvbnMgJ0kgKCBjaGFuZ2UtcHJvcyAoIGNkciBzZW50ZW5jZSApICkgKSApCiAgICAoICggZXF1YWwgKCBjYXIgc2VudGVuY2UgKSAnSSApCiAgICAgICggY29ucyAneW91ICggY2hhbmdlLXByb3MgKCBjZHIgc2VudGVuY2UgKSApICkgKQoKICAgIDs7IENIQU5HRSBUSElTOiBhZGQgbW9yZSBjYXNlcyBoZXJlIG9mIHByb25vdW5zIG9yIG90aGVyIHdvcmRzCiAgICA7OyB0aGF0IHNob3VsZCBmbGlwIGluIG9yZGVyIGZvciB0aGlzIHRvIHdvcmsgd2VsbAoKICAgICggdCAoIGNvbnMgKCBjYXIgc2VudGVuY2UgKSAoIGNoYW5nZS1wcm9zICggY2RyIHNlbnRlbmNlICkgKSApICkgKSApCgo7Oy0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KOzsgcmVzcG9uZDogZ2l2ZW4gYSBzZW50ZW5jZSwgbG9va3MgdGhyb3VnaCB0aGUgZGF0YWJhc2UgaW4gc2VhcmNoIG9mCjs7IGEgbWF0Y2hpbmcgcGF0dGVybiBhbmQgdGhlIHJlc3BvbnNlOyBnaXZlbiB0aGUgZGF0YWJhc2UgcmVzcG9uc2UsCjs7IHVzZXMgJ2luc3RhbnRpYXRlJyB0byBmaWxsIGluIHRoZSBibGFua3MsIGFuZCByZXR1cm5zIHRoZSBjb21wbGV0ZWQKOzsgcmVzcG9uc2UKCiggZGVmdW4gcmVzcG9uZCAoIHNlbnRlbmNlIGRiICkKICAoIGNvbmQKICAgIDs7IGVuZCBvZiBEQiwgcmV0dXJuIG5pbCAtIHNob3VsZCBuZXZlciByZWFsbHkgaGFwcGVuCiAgICAoICggbnVsbCBkYiApIG5pbCApCgogICAgOzsgaWYgdGhlIHJlc3VsdCBvZiBtYXRjaGluZyB0aGUgc2VudGVuY2UgYWdhaW5zdCB0aGUgY3VycmVudAogICAgOzsgcGF0dGVybiBpcyBhIHN1Y2Nlc3MsIHByb2R1Y2UgdGhpcyByZXNwb25zZQogICAgKCAoIHN1Y2Nlc3MgKCBzZXRxIHJlc3VsdCAoIG1hdGNoIHNlbnRlbmNlICggZmlyc3QgKCBjYXIgZGIgKSApICkgKSApCiAgICAgICggaW5zdGFudGlhdGUgcmVzdWx0ICggc2Vjb25kICggY2FyIGRiICkgKSApICkKCiAgICA7OyBvdGhlcndpc2UsIGtlZXAgbG9va2luZyB0aHJvdWdoIHRoZSBEQgogICAgKCB0ICggcmVzcG9uZCBzZW50ZW5jZSAoIGNkciBkYiApICkgKSApICkKCjs7LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQo7OyBtYXRjaDogaWYgdGhlcmUgaXMgbm90IGEgbWF0Y2ggYmV0d2VlbiB0aGlzIHBhdHRlcm4gYW5kIHRoaXMgZGF0YSwKOzsgcmV0dXJucyAnZmFpbDsnIG90aGVyd2lzZSwgcmV0dXJucyB0aGUgc2VudGVuY2UgaW4gcGFydGl0aW9uZWQKOzsgZm9ybWF0CgooIGRlZnVuIG1hdGNoICggZGF0YSBwYXR0ZXJuICkKICAoIGNvbmQKICAgIDs7IGVuZCBvZiBib3RoIGRhdGEgYW5kIHBhdHRlcm47IGEgbWF0Y2gKICAgICggKCBhbmQgKCBudWxsIGRhdGEgKSAoIG51bGwgcGF0dGVybiApICkgbmlsICkKCiAgICA7OyBlbmQgb2YgcGF0dGVybiwgYnV0IG5vdCBlbmQgb2YgZGF0YTsgbm8gbWF0Y2gKICAgICggKCBudWxsIHBhdHRlcm4gKSBmYWlsICkKCiAgICA7OyBlbmQgb2YgZGF0YSwgYnV0IG5vdCBlbmQgb2YgcGF0dGVybjsgaWYgdGhlIHBhdHRlcm4gc3RhcnRzIHdpdGgKICAgIDs7IGEgdmFyaWFibGUsIGVhdCBpdCBhbmQgdHJ5IGFuZCBtYXRjaCB0aGUgcmVzdCBvZiB0aGUgcGF0dGVybiB0bwogICAgOzsgdGhlIG51bGwgc2VudGVuY2UgKHdpbGwgb25seSB3b3JrIGlmIGFsbCB2YXJpYWJsZXMpOyBvdGhlcndpc2UsCiAgICA7OyBmYWlsCiAgICAoICggbnVsbCBkYXRhICkgCiAgICAgICggY29uZAoJKCAoIHZhcmlhYmxlcCAoIGNhciBwYXR0ZXJuICkgKQoJICAoIGlmICggc3VjY2VzcyAoIHNldHEgcmVzdWx0ICggbWF0Y2ggZGF0YSAoIGNkciBwYXR0ZXJuICkgKSApICkKCSAgICAgIHJlc3VsdAoJICAgIGZhaWwgKSApCgkoIHQgZmFpbCApICkgKQoKCiAgICA7OyBmaXJzdCBpdGVtIG9mIGRhdGEgYW5kIHBhdHRlcm4gYXJlIGlkZW50aWNhbDsgaWYgdGhlIHJlc3Qgb2YgaXQKICAgIDs7IG1hdGNoZWQsIHJldHVybiB0aGUgZmlyc3QgaXRlbSBjb25zJ2VkIHdpdGggdGhlIHJlc3Qgb2YgdGhlCiAgICA7OyBwYXJ0aXRpb25lZCBzZW50ZW5jZTsgb3RoZXJ3aXNlLCBmYWlsCiAgICAoICggZXF1YWwgKCBjYXIgZGF0YSApICggY2FyIHBhdHRlcm4gKSApCiAgICAgICggaWYgKCBzdWNjZXNzICggc2V0cSByZXN1bHQgKCBtYXRjaCAoIGNkciBkYXRhICkgKCBjZHIgcGF0dGVybiApICkgKSApCgkgICggY29ucyAoIGxpc3QgKCBjYXIgZGF0YSApICkgcmVzdWx0ICkKCWZhaWwgKSApCgogICAgOzsgZmlyc3QgaXRlbSBvZiBwYXR0ZXJuIGlzIGEgdmFyaWFibGU7IGlmIHRoZSByZXN0IG9mIHRoZSBkYXRhCiAgICA7OyAobWludXMgdGhlIGZpcnN0IHdvcmQsIG1hdGNoZWQgdG8gdGhlIHZhcmlhYmxlKSBpcyBhIG1hdGNoIHdpdGgKICAgIDs7IGFsbCBvZiB0aGUgcGF0dGVybiwgcmV0dXJuIHRoZSBhcHByb3ByaWF0ZSBzdHVmZjsgaWYgYWxsIG9mIHRoZQogICAgOzsgZGF0YSAodmFyaWFibGUgZWF0cyBub3RoaW5nKSBtYXRjaGVzIHRoZSByZXN0IG9mIHRoZSBwYXR0ZXJuLAogICAgOzsgcmV0dXJuIGFwcHJvcHJpYXRlIHN0dWZmOyBlbHNlLCBmYWlsLgogICAgKCAoIHZhcmlhYmxlcCAoIGNhciBwYXR0ZXJuICkgKSAKICAgICAgKCBjb25kCgk7OyB2YXJpYWJsZSBlYXRzIG5vdGhpbmc7ICAoKSBpcyBwdXQgaW4gcGFydGl0aW9uZWQgc2VudGVuY2UKCSggKCBzdWNjZXNzICggc2V0cSByZXN1bHQgKCBtYXRjaCBkYXRhICggY2RyIHBhdHRlcm4gKSApICkgKQoJICAoIGNvbnMgKCkgcmVzdWx0ICkgKQoJOzsgdmFyaWFibGUgZWF0cyBvbmUgd29yZDsgd29yZCBpcyBjb25zJ2VkIGludG8gdGhlIGZpcnN0Cgk7OyBlbGVtZW50IG9mIHRoZSBwYXJ0aXRpb25lZCBzZW50ZW5jZSwgYXNzdW1pbmcgdGhhdCB0aGUgc3RlcAoJOzsgYmVmb3JlIGFuIGFjdHVhbCBtYXRjaCB3b3JkIHdvdWxkIGJlIGEgKCkKCSggKCBzdWNjZXNzICggc2V0cSByZXN1bHQgKCBtYXRjaCAoIGNkciBkYXRhICkgcGF0dGVybiApICkgKQoJICAoIGNvbnMgKCBjb25zICggY2FyIGRhdGEgKSAoIGNhciByZXN1bHQgKSApICggY2RyIHJlc3VsdCApICkgKQoJOzsgb3RoZXJ3aXNlLCBmYWlsCgkoIHQgZmFpbCApICkgKQoKICAgICggdCBmYWlsICkgKSApCgo7Oy0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KOzsgaW5zdGFudGlhdGU6IHRha2VzIGEgcGFydGl0aW9uZWQgc2VudGVuY2UgYW5kIHRoZSByZXNwb25zZSBpdCBoYXMKOzsgYmVlbiBtYXRjaGVkIHRvIGFuZCBnZW5lcmF0ZXMgdGhlIGFwcHJvcHJpYXRlZCBjb21wbGV0ZWQgcmVzcG9uc2UKCiggZGVmdW4gaW5zdGFudGlhdGUgKCBwYXJ0aXRpb25lZCByZXNwb25zZSApCiAgKCBjb25kCiAgICAoICggbnVsbCByZXNwb25zZSApIG5pbCApCiAgICA7OyBudW1iZXJzIGluZGljYXRlIHdoYXQgcGFydCBvZiB0aGUgcGFydGl0aW9uZWQgc2VudGVuY2UgdG8KICAgIDs7IGluc2VydCBpbnRvIHRoZSByZXNwb25zZQogICAgKCAoIG51bWJlcnAgKCBjYXIgcmVzcG9uc2UgKSApCiAgICAgICggc2V0cSBpbmRleCAoIC0gKCBjYXIgcmVzcG9uc2UgKSAxICkgKQogICAgICAoIGFwcGVuZCAoIG50aCBpbmRleCBwYXJ0aXRpb25lZCApCgkgICAgICggaW5zdGFudGlhdGUgcGFydGl0aW9uZWQgKCBjZHIgcmVzcG9uc2UgKSApICkgKQogICAgKCB0ICggY29ucyAoIGNhciByZXNwb25zZSApCgkgICAgICggaW5zdGFudGlhdGUgcGFydGl0aW9uZWQgKCBjZHIgcmVzcG9uc2UgKSApICkgKSApICkKCjs7LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCjs7Cjs7ICAJCQkgICAgIGhlbHBpbmcgZnVuY3Rpb25zCjs7Cjs7LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCgooIHNldHEgZmFpbCAnLTEgKQoKKCBkZWZ1biBzdWNjZXNzICggcmVzdWx0ICkKICAoIG5vdCAoIGVxdWFsIHJlc3VsdCBmYWlsICkgKSApCgooIGRlZnVuIHZhcmlhYmxlcCAoIHdvcmQgKQogICggZXF1YWwgd29yZCAnMCApICkKCgo7Oy0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQo7Owo7OyAgCQkJICAgICAgICAgZGF0YWJhc2UKOzsKOzstLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KCjs7IENIQU5HRSBUSElTOiBhZGQgbW9yZSB0byB0aGlzIGRhdGFiYXNlIHNvIHRoYXQgdGhlIGludGVyYWN0aW9uIGlzCjs7IG1vcmUgaW50ZXJlc3RpbmcgYW5kIGNvbW11bmljYXRpdmUgYW5kIHNvIHRoYXQgRWxpemEgc291bmRzIGxpa2UgeW91IAo7OyB3b3VsZCBzb3VuZCBpbiB0aGUgc2FtZSBjb252ZXJzYXRpb24hCjs7LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCgooIHNldHEgZGF0YWJhc2UKICAgICAgICcoCgkgOzsgZXhhbXBsZSBncmVldGluZ3MvZmFyZXdlbGxzIC0tIGNoYW5nZSB0aGVtIHRvIHNvdW5kIGxpa2UgeW91CgkgKCAoSGVsbG8gMCkKCSAgIChIZWxsbyAtIGhhdmUgYSBzZWF0IGFuZCB0ZWxsIG1lIGhvdyB5b3UgZmVlbCB0b2RheS4pICkKCSAoICgwIHlvdSBjYW1lIGhlcmUgYmVjYXVzZSAwKQoJICAgKEEgbG90IG9mIHBlb3BsZSBjb21lIGhlcmUgZm9yIHRoYXQgcmVhc29uIHNvIHlvdSBhcmUgbm90IGFsb25lLikgKQoJICggKDAgR29vZGJ5ZSAwKQoJICAgKEdvb2RieWUgLSBJIGhvcGUgeW91IGVuam95ZWQgdGhpcyBzZXNzaW9uLikgKQoKCSA7OyBmZWVsaW5ncwoJICggKDAgeW91IHRoaW5rIDApCgkgICAoQW5kIGp1c3Qgd2h5IGRvIHlvdSB0aGluayA0ID8pICkKCgkgOzsgdGhlIGNhdGNoLWFsbHMKCSAoICgwKSAKCSAgIChDb3VsZCB5b3UgZXhwYW5kIG9uIHRoYXQ/KSApICkgKQoKKGVsaXphICcoaGVsbG8pKSA=

aGVsbG8=

hello