make partial_string callable.

diff --git a/src/prolog/instructions.rs b/src/prolog/instructions.rs
index c3e714c9deb448019ac1ce2c819956ca6c46fc21..2134a8026b272183b99abaaa4c330ddb9ef10fdd 100644 (file)
--- a/src/prolog/instructions.rs
+++ b/src/prolog/instructions.rs
@@ -28,12 +28,12 @@ impl InlinedClauseType {
             &InlinedClauseType::IsAtom(..) => "atom",
             &InlinedClauseType::IsAtomic(..) => "atomic",
             &InlinedClauseType::IsCompound(..) => "compound",
-            &InlinedClauseType::IsInteger (..) => "integer",
+            &InlinedClauseType::IsInteger (..) => "integer",            
             &InlinedClauseType::IsRational(..) => "rational",
             &InlinedClauseType::IsString(..) => "string",
             &InlinedClauseType::IsFloat (..) => "float",
             &InlinedClauseType::IsNonVar(..) => "nonvar",
-            &InlinedClauseType::IsPartialString(..) => "partial_string",
+            &InlinedClauseType::IsPartialString(..) => "is_partial_string",
             &InlinedClauseType::IsVar(..) => "var",
         }
     }
@@ -418,6 +418,7 @@ impl BuiltInClauseType {
             ("\\==", 2) => Some(BuiltInClauseType::NotEq),
             ("sort", 2) => Some(BuiltInClauseType::Sort),
             ("read", 1) => Some(BuiltInClauseType::Read),
+            ("partial_string", 2) => Some(BuiltInClauseType::PartialString),
             _ => None
         }
     }