win32

C/init.c

@@ -1280,6 +1280,11 @@ static void InitVersion(void) {
   Yap_PutValue(AtomVersionNumber, MkAtomTerm(Yap_LookupAtom(YAP_FULL_VERSION)));
 }
 
+const char *Yap_version(void) {
+  Term t = Yap_GetValue(AtomVersionNumber);
+  return RepAtom(AtomOfTerm(t))->StrOfAE;
+}
+
 void Yap_InitWorkspace(UInt Heap, UInt Stack, UInt Trail, UInt Atts,
                        UInt max_table_size, int n_workers, int sch_loop,
                        int delay_load) {