simplify format, so that it will be easier to do bug fixes

fix bug in format output for floats
write and read dbrefs as $dbref(Address,0)


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@986 b08c6af1-5177-4d33-ba66-4b1c6b8b522a

C/parser.c

@@ -330,7 +330,10 @@ ParseArgs(Atom a, JMPBUFF *FailBuff)
   else
     t = Yap_MkApplTerm(Yap_MkFunctor(a, nargs), nargs, p);
 #else
-  t = Yap_MkApplTerm(Yap_MkFunctor(a, nargs), nargs, p);
+  if (a == AtomDBRef && nargs == 2) 
+    t = MkDBRefTerm((DBRef)IntegerOfTerm(p[0]));
+  else
+    t = Yap_MkApplTerm(Yap_MkFunctor(a, nargs), nargs, p);
 #endif
   /* check for possible overflow against local stack */
   checkfor((Term) ')', FailBuff);