File: pl-store.c

package info (click to toggle)
swi-prolog 3.1.0-2
  • links: PTS
  • area: main
  • in suites: slink
  • size: 8,772 kB
  • ctags: 12,869
  • sloc: ansic: 43,657; perl: 12,577; lisp: 4,359; sh: 1,534; makefile: 798; awk: 14
file content (56 lines) | stat: -rw-r--r-- 1,137 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
/*  $Id: pl-store.c,v 1.1 1995/04/18 12:29:42 jan Exp $

    Designed and implemented by Jan Wielemaker
    E-mail: jan@swi.psy.uva.nl

    Copyright (C) 1995 University of Amsterdam. All rights reserved.
*/

/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Machine independent saved-state format and object  format (should be the
same).

<XR>  ::= <atom>
	| <string>
	| <functor>
	| <procedure>
	| <integer>
	| <real>

File format:

    MAGIC
    VERSION INFORMATION
    BYTE ORDER
    OFFSET TABLE
	<atom-table offset>
	<functor-table offset>
	<source-file-table-offset>
    ATOM TABLE
	<size>
	<array of indices, <size> long>
	<text-strings, 0-terminated>
    FUNCTOR TABLE
	<size>
	<array of (atom,arity) tuples, <size> long>
    SOURCE IOSTREAM TABLE
        <size>
	{ <atom>			% path-name
	  <time>			% last-modification-stamp>
	}
    MODULE ID TABLE
	<size>
	{ <atom>			% module-name
	}
    MODULES
        <size>
        <module>
    RECORDS
    FLAGS
    FEATURES
    INITIALISATION GOALS

Lazy definition of predicates?

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */