print chars somewhat appropriately.

src/prolog/ast.rs

@@ -167,7 +167,6 @@ pub fn default_op_dir() -> OpDir {
     op_dir.insert((clause_name!(":-"), Fixity::In),  (XFX, 1200, module_name.clone()));
     op_dir.insert((clause_name!(":-"), Fixity::Pre), (FX, 1200, module_name.clone()));
     op_dir.insert((clause_name!("?-"), Fixity::Pre), (FX, 1200, module_name.clone()));    
-    op_dir.insert((clause_name!(","),  Fixity::In), (XFY, 1000, module_name.clone()));
 
     op_dir
 }

src/prolog/heap_print.rs

@@ -46,6 +46,7 @@ pub trait HCValueOutputter {
     type Output;
 
     fn new() -> Self;
+    fn push_char(&mut self, char);
     fn append(&mut self, &str);
     fn begin_new_var(&mut self);
     fn result(self) -> Self::Output;
@@ -69,6 +70,10 @@ impl HCValueOutputter for PrinterOutputter {
         self.contents += contents;
     }
 
+    fn push_char(&mut self, c: char) {
+        self.contents.push(c);
+    }
+    
     fn begin_new_var(&mut self) {
         if self.contents.len() != 0 {
             self.contents += ", ";
@@ -233,12 +238,17 @@ impl<'a, Formatter: HCValueFormatter, Outputter: HCValueOutputter>
         match c {
             Constant::Char(c) if c == '\n' =>
                 self.outputter.append("'\\n'"),
-//            Constant::Char(c) if c == '\f' =>
-//                self.outputter.append("\\f"),
+            //            Constant::Char(c) if c == '\f' =>
+            //                self.outputter.append("\\f"),
             Constant::Char(c) if c == '\r' =>
                 self.outputter.append("'\\r'"),
             Constant::Char(c) if c == '\t' =>
                 self.outputter.append("'\\t'"),
+            Constant::Char(c) => {
+                self.outputter.append("'");
+                self.outputter.push_char(c);
+                self.outputter.append("'");
+            },
 //            Constant::Char(c) if c == '\b' =>
 //                self.outputter.append("\\b"),
 //            Constant::Char(c) if c == '\\a' =>

src/prolog/lib/builtins.pl

@@ -7,15 +7,6 @@
 	(\==)/2, (@=<)/2, (@>=)/2, (@<)/2, (@>)/2, (=@=)/2, (\=@=)/2,
 	catch/3, throw/1, true/0, false/0]).
 
-','(G1, G2) :- '$get_cp'(B), ','(G1, G2, B).
-
-','(!, ','(G1, G2), B) :- '$set_cp'(B), ','(G1, G2, B).
-','(!, !, B) :- '$set_cp'(B).
-','(!, G, B) :- '$set_cp'(B), G.
-','(G, ','(G2, G3), B) :- !, G, ','(G2, G3, B).
-','(G, !, B) :- !, G, '$set_cp'(B).
-','(G1, G2, _) :- G1, G2.
-
 % arithmetic operators.
 :- op(700, xfx, is).
 :- op(500, yfx, +).
@@ -72,6 +63,15 @@ false :- '$fail'.
 
 % control operators.
 
+','(G1, G2) :- '$get_cp'(B), ','(G1, G2, B).
+
+','(!, ','(G1, G2), B) :- '$set_cp'(B), ','(G1, G2, B).
+','(!, !, B) :- '$set_cp'(B).
+','(!, G, B) :- '$set_cp'(B), G.
+','(G, ','(G2, G3), B) :- !, G, ','(G2, G3, B).
+','(G, !, B) :- !, G, '$set_cp'(B).
+','(G1, G2, _) :- G1, G2.
+
 ;(G1, G2) :- '$get_cp'(B), ;(G1, G2, B).
 
 ;(G1, G4, B) :- compound(G1), G1 = ->(G2, G3), (G2 -> G3 ; '$set_cp'(B), G4).
@@ -87,8 +87,8 @@ G1 -> G2 :- '$get_cp'(B), ->(G1, G2, B).
 
 % arg.
 
-/* Here is the old, SWI Prolog-imitative arg/3. The new, ISO Prolog
- * compliant arg/3 is implemented in Rust.
+/* Here is the old, SWI Prolog-imitative arg/3. It has been superseded by an ISO Prolog
+ * compliant arg/3 implemented in Rust.
 
 arg(N, Functor, Arg) :- var(N), !, functor(Functor, _, Arity), arg_(N, 1, Arity, Functor, Arg).
 arg(N, Functor, Arg) :- integer(N), !, functor(Functor, _, Arity), '$get_arg'(N, Functor, Arg).

src/tests.rs

@@ -36,6 +36,10 @@ impl HCValueOutputter for TestOutputter {
         self.focus += focus;
     }
 
+    fn push_char(&mut self, c: char) {
+        self.focus.push(c);
+    }
+
     fn begin_new_var(&mut self) {
         if !self.focus.is_empty() {
             let mut focus = String::new();