;;==========================================================================
;;
;; 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)))))
     (let ((response (instantiate result (second (car db)))))
       (format t "~a~%" response)
       response))
 
    ;; 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 '(i feel quite bad))

Ozs9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQo7Owo7OyBTVEFSVEVSIEZJTEUgRk9SIENTQyA0MjQwLzUyNDAgUFJPR1JBTSAjMTogRWxpemEKOzs9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQoKOzstLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCjs7IGVsaXphOiB0b3AtbGV2ZWwgZnVuY3Rpb24gd2hpY2gsIHdoZW4gZ2l2ZW4gYSBzZW50ZW5jZSAobm8KOzsgcHVuY3R1YXRpb24sIHBsZWFzZSEpLCBjb21lcyBiYWNrIHdpdGggYSByZXNwb25zZSBsaWtlIHlvdSB3b3VsZC4KCiggZGVmdW4gZWxpemEgKCBzZW50ZW5jZSApCiAgKCByZXNwb25kICggY2hhbmdlLXByb3Mgc2VudGVuY2UgKSBkYXRhYmFzZSApICkKCjs7LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQo7OyBjaGFuZ2UtcHJvczogY2hhbmdlcyB0aGUgcHJvbm91bnMgb2YgdGhlIHNlbnRlbmNlIHNvIHRoYXQgRWxpemEgY2FuCjs7IGNvbWUgYmFjayB3aXRoIHRoZSBhcHByb3ByaWF0ZWx5IHN3aXRjaGVkIGZpcnN0IGFuZCBzZWNvbmQgcGVyc29uCjs7IHJlZmVyZW5jZXMuCgooIGRlZnVuIGNoYW5nZS1wcm9zICggc2VudGVuY2UgKQogICggY29uZCAKICAgICggKCBudWxsIHNlbnRlbmNlICkgbmlsICkKICAgICggKCBlcXVhbCAoIGNhciBzZW50ZW5jZSApICd5b3UgKQogICAgICAoIGNvbnMgJ0kgKCBjaGFuZ2UtcHJvcyAoIGNkciBzZW50ZW5jZSApICkgKSApCiAgICAoICggZXF1YWwgKCBjYXIgc2VudGVuY2UgKSAnSSApCiAgICAgICggY29ucyAneW91ICggY2hhbmdlLXByb3MgKCBjZHIgc2VudGVuY2UgKSApICkgKQoKICAgIDs7IENIQU5HRSBUSElTOiBhZGQgbW9yZSBjYXNlcyBoZXJlIG9mIHByb25vdW5zIG9yIG90aGVyIHdvcmRzCiAgICA7OyB0aGF0IHNob3VsZCBmbGlwIGluIG9yZGVyIGZvciB0aGlzIHRvIHdvcmsgd2VsbAoKICAgICggdCAoIGNvbnMgKCBjYXIgc2VudGVuY2UgKSAoIGNoYW5nZS1wcm9zICggY2RyIHNlbnRlbmNlICkgKSApICkgKSApCgo7Oy0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KOzsgcmVzcG9uZDogZ2l2ZW4gYSBzZW50ZW5jZSwgbG9va3MgdGhyb3VnaCB0aGUgZGF0YWJhc2UgaW4gc2VhcmNoIG9mCjs7IGEgbWF0Y2hpbmcgcGF0dGVybiBhbmQgdGhlIHJlc3BvbnNlOyBnaXZlbiB0aGUgZGF0YWJhc2UgcmVzcG9uc2UsCjs7IHVzZXMgJ2luc3RhbnRpYXRlJyB0byBmaWxsIGluIHRoZSBibGFua3MsIGFuZCByZXR1cm5zIHRoZSBjb21wbGV0ZWQKOzsgcmVzcG9uc2UKCihkZWZ1biByZXNwb25kIChzZW50ZW5jZSBkYikKICAoY29uZAogICAgOzsgZW5kIG9mIERCLCByZXR1cm4gbmlsIC0gc2hvdWxkIG5ldmVyIHJlYWxseSBoYXBwZW4KICAgICgobnVsbCBkYikgbmlsKQoKICAgIDs7IGlmIHRoZSByZXN1bHQgb2YgbWF0Y2hpbmcgdGhlIHNlbnRlbmNlIGFnYWluc3QgdGhlIGN1cnJlbnQKICAgIDs7IHBhdHRlcm4gaXMgYSBzdWNjZXNzLCBwcm9kdWNlIHRoaXMgcmVzcG9uc2UKICAgICgoc3VjY2VzcyAoc2V0cSByZXN1bHQgKG1hdGNoIHNlbnRlbmNlIChmaXJzdCAoY2FyIGRiKSkpKSkKICAgICAobGV0ICgocmVzcG9uc2UgKGluc3RhbnRpYXRlIHJlc3VsdCAoc2Vjb25kIChjYXIgZGIpKSkpKQogICAgICAgKGZvcm1hdCB0ICJ+YX4lIiByZXNwb25zZSkKICAgICAgIHJlc3BvbnNlKSkKCiAgICA7OyBvdGhlcndpc2UsIGtlZXAgbG9va2luZyB0aHJvdWdoIHRoZSBEQgogICAgKHQgKHJlc3BvbmQgc2VudGVuY2UgKGNkciBkYikpKSkpCgoKOzstLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCjs7IG1hdGNoOiBpZiB0aGVyZSBpcyBub3QgYSBtYXRjaCBiZXR3ZWVuIHRoaXMgcGF0dGVybiBhbmQgdGhpcyBkYXRhLAo7OyByZXR1cm5zICdmYWlsOycgb3RoZXJ3aXNlLCByZXR1cm5zIHRoZSBzZW50ZW5jZSBpbiBwYXJ0aXRpb25lZAo7OyBmb3JtYXQKCiggZGVmdW4gbWF0Y2ggKCBkYXRhIHBhdHRlcm4gKQogICggY29uZAogICAgOzsgZW5kIG9mIGJvdGggZGF0YSBhbmQgcGF0dGVybjsgYSBtYXRjaAogICAgKCAoIGFuZCAoIG51bGwgZGF0YSApICggbnVsbCBwYXR0ZXJuICkgKSBuaWwgKQoKICAgIDs7IGVuZCBvZiBwYXR0ZXJuLCBidXQgbm90IGVuZCBvZiBkYXRhOyBubyBtYXRjaAogICAgKCAoIG51bGwgcGF0dGVybiApIGZhaWwgKQoKICAgIDs7IGVuZCBvZiBkYXRhLCBidXQgbm90IGVuZCBvZiBwYXR0ZXJuOyBpZiB0aGUgcGF0dGVybiBzdGFydHMgd2l0aAogICAgOzsgYSB2YXJpYWJsZSwgZWF0IGl0IGFuZCB0cnkgYW5kIG1hdGNoIHRoZSByZXN0IG9mIHRoZSBwYXR0ZXJuIHRvCiAgICA7OyB0aGUgbnVsbCBzZW50ZW5jZSAod2lsbCBvbmx5IHdvcmsgaWYgYWxsIHZhcmlhYmxlcyk7IG90aGVyd2lzZSwKICAgIDs7IGZhaWwKICAgICggKCBudWxsIGRhdGEgKSAKICAgICAgKCBjb25kCgkoICggdmFyaWFibGVwICggY2FyIHBhdHRlcm4gKSApCgkgICggaWYgKCBzdWNjZXNzICggc2V0cSByZXN1bHQgKCBtYXRjaCBkYXRhICggY2RyIHBhdHRlcm4gKSApICkgKQoJICAgICAgcmVzdWx0CgkgICAgZmFpbCApICkKCSggdCBmYWlsICkgKSApCgoKICAgIDs7IGZpcnN0IGl0ZW0gb2YgZGF0YSBhbmQgcGF0dGVybiBhcmUgaWRlbnRpY2FsOyBpZiB0aGUgcmVzdCBvZiBpdAogICAgOzsgbWF0Y2hlZCwgcmV0dXJuIHRoZSBmaXJzdCBpdGVtIGNvbnMnZWQgd2l0aCB0aGUgcmVzdCBvZiB0aGUKICAgIDs7IHBhcnRpdGlvbmVkIHNlbnRlbmNlOyBvdGhlcndpc2UsIGZhaWwKICAgICggKCBlcXVhbCAoIGNhciBkYXRhICkgKCBjYXIgcGF0dGVybiApICkKICAgICAgKCBpZiAoIHN1Y2Nlc3MgKCBzZXRxIHJlc3VsdCAoIG1hdGNoICggY2RyIGRhdGEgKSAoIGNkciBwYXR0ZXJuICkgKSApICkKCSAgKCBjb25zICggbGlzdCAoIGNhciBkYXRhICkgKSByZXN1bHQgKQoJZmFpbCApICkKCiAgICA7OyBmaXJzdCBpdGVtIG9mIHBhdHRlcm4gaXMgYSB2YXJpYWJsZTsgaWYgdGhlIHJlc3Qgb2YgdGhlIGRhdGEKICAgIDs7IChtaW51cyB0aGUgZmlyc3Qgd29yZCwgbWF0Y2hlZCB0byB0aGUgdmFyaWFibGUpIGlzIGEgbWF0Y2ggd2l0aAogICAgOzsgYWxsIG9mIHRoZSBwYXR0ZXJuLCByZXR1cm4gdGhlIGFwcHJvcHJpYXRlIHN0dWZmOyBpZiBhbGwgb2YgdGhlCiAgICA7OyBkYXRhICh2YXJpYWJsZSBlYXRzIG5vdGhpbmcpIG1hdGNoZXMgdGhlIHJlc3Qgb2YgdGhlIHBhdHRlcm4sCiAgICA7OyByZXR1cm4gYXBwcm9wcmlhdGUgc3R1ZmY7IGVsc2UsIGZhaWwuCiAgICAoICggdmFyaWFibGVwICggY2FyIHBhdHRlcm4gKSApIAogICAgICAoIGNvbmQKCTs7IHZhcmlhYmxlIGVhdHMgbm90aGluZzsgICgpIGlzIHB1dCBpbiBwYXJ0aXRpb25lZCBzZW50ZW5jZQoJKCAoIHN1Y2Nlc3MgKCBzZXRxIHJlc3VsdCAoIG1hdGNoIGRhdGEgKCBjZHIgcGF0dGVybiApICkgKSApCgkgICggY29ucyAoKSByZXN1bHQgKSApCgk7OyB2YXJpYWJsZSBlYXRzIG9uZSB3b3JkOyB3b3JkIGlzIGNvbnMnZWQgaW50byB0aGUgZmlyc3QKCTs7IGVsZW1lbnQgb2YgdGhlIHBhcnRpdGlvbmVkIHNlbnRlbmNlLCBhc3N1bWluZyB0aGF0IHRoZSBzdGVwCgk7OyBiZWZvcmUgYW4gYWN0dWFsIG1hdGNoIHdvcmQgd291bGQgYmUgYSAoKQoJKCAoIHN1Y2Nlc3MgKCBzZXRxIHJlc3VsdCAoIG1hdGNoICggY2RyIGRhdGEgKSBwYXR0ZXJuICkgKSApCgkgICggY29ucyAoIGNvbnMgKCBjYXIgZGF0YSApICggY2FyIHJlc3VsdCApICkgKCBjZHIgcmVzdWx0ICkgKSApCgk7OyBvdGhlcndpc2UsIGZhaWwKCSggdCBmYWlsICkgKSApCgogICAgKCB0IGZhaWwgKSApICkKCjs7LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQo7OyBpbnN0YW50aWF0ZTogdGFrZXMgYSBwYXJ0aXRpb25lZCBzZW50ZW5jZSBhbmQgdGhlIHJlc3BvbnNlIGl0IGhhcwo7OyBiZWVuIG1hdGNoZWQgdG8gYW5kIGdlbmVyYXRlcyB0aGUgYXBwcm9wcmlhdGVkIGNvbXBsZXRlZCByZXNwb25zZQoKKCBkZWZ1biBpbnN0YW50aWF0ZSAoIHBhcnRpdGlvbmVkIHJlc3BvbnNlICkKICAoIGNvbmQKICAgICggKCBudWxsIHJlc3BvbnNlICkgbmlsICkKICAgIDs7IG51bWJlcnMgaW5kaWNhdGUgd2hhdCBwYXJ0IG9mIHRoZSBwYXJ0aXRpb25lZCBzZW50ZW5jZSB0bwogICAgOzsgaW5zZXJ0IGludG8gdGhlIHJlc3BvbnNlCiAgICAoICggbnVtYmVycCAoIGNhciByZXNwb25zZSApICkKICAgICAgKCBzZXRxIGluZGV4ICggLSAoIGNhciByZXNwb25zZSApIDEgKSApCiAgICAgICggYXBwZW5kICggbnRoIGluZGV4IHBhcnRpdGlvbmVkICkKCSAgICAgKCBpbnN0YW50aWF0ZSBwYXJ0aXRpb25lZCAoIGNkciByZXNwb25zZSApICkgKSApCiAgICAoIHQgKCBjb25zICggY2FyIHJlc3BvbnNlICkKCSAgICAgKCBpbnN0YW50aWF0ZSBwYXJ0aXRpb25lZCAoIGNkciByZXNwb25zZSApICkgKSApICkgKQoKOzstLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KOzsKOzsgIAkJCSAgICAgaGVscGluZyBmdW5jdGlvbnMKOzsKOzstLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KCiggc2V0cSBmYWlsICctMSApCgooIGRlZnVuIHN1Y2Nlc3MgKCByZXN1bHQgKQogICggbm90ICggZXF1YWwgcmVzdWx0IGZhaWwgKSApICkKCiggZGVmdW4gdmFyaWFibGVwICggd29yZCApCiAgKCBlcXVhbCB3b3JkICcwICkgKQoKCjs7LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCjs7Cjs7ICAJCQkgICAgICAgICBkYXRhYmFzZQo7Owo7Oy0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKOzsgQ0hBTkdFIFRISVM6IGFkZCBtb3JlIHRvIHRoaXMgZGF0YWJhc2Ugc28gdGhhdCB0aGUgaW50ZXJhY3Rpb24gaXMKOzsgbW9yZSBpbnRlcmVzdGluZyBhbmQgY29tbXVuaWNhdGl2ZSBhbmQgc28gdGhhdCBFbGl6YSBzb3VuZHMgbGlrZSB5b3UgCjs7IHdvdWxkIHNvdW5kIGluIHRoZSBzYW1lIGNvbnZlcnNhdGlvbiEKOzstLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KCiggc2V0cSBkYXRhYmFzZQogICAgICAgJygKCSA7OyBleGFtcGxlIGdyZWV0aW5ncy9mYXJld2VsbHMgLS0gY2hhbmdlIHRoZW0gdG8gc291bmQgbGlrZSB5b3UKCSAoIChIZWxsbyAwKQoJICAgKEhlbGxvIC0gaGF2ZSBhIHNlYXQgYW5kIHRlbGwgbWUgaG93IHlvdSBmZWVsIHRvZGF5LikgKQoJICggKDAgeW91IGNhbWUgaGVyZSBiZWNhdXNlIDApCgkgICAoQSBsb3Qgb2YgcGVvcGxlIGNvbWUgaGVyZSBmb3IgdGhhdCByZWFzb24gc28geW91IGFyZSBub3QgYWxvbmUuKSApCgkgKCAoMCBHb29kYnllIDApCgkgICAoR29vZGJ5ZSAtIEkgaG9wZSB5b3UgZW5qb3llZCB0aGlzIHNlc3Npb24uKSApCgoJIDs7IGZlZWxpbmdzCgkgKCAoMCB5b3UgdGhpbmsgMCkKCSAgIChBbmQganVzdCB3aHkgZG8geW91IHRoaW5rIDQgPykgKQoKCSA7OyB0aGUgY2F0Y2gtYWxscwoJICggKDApIAoJICAgKENvdWxkIHlvdSBleHBhbmQgb24gdGhhdD8pICkgKSApCihlbGl6YSAnKGkgZmVlbCBxdWl0ZSBiYWQpKQ==