-
Notifications
You must be signed in to change notification settings - Fork 3
/
5-Learn-Flybase.metta
executable file
·75 lines (55 loc) · 2.48 KB
/
5-Learn-Flybase.metta
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
!(extend-py! mettalog)
!(print "; =====================================")
!(print "; Starting 5")
!(print "; =====================================")
!(load_vspace)
!("; doing pragma")
!(pragma! trace-on-load False)
!("; did pragma")
!(use-mettalog)
!("; used mettalog")
!("; doing pragma")
!(pragma! trace-on-load False)
!("; did pragma again")
!(pragmat trace-on-load False)
!("; did pragmat again")
; Includes the file that houses queries that have been deduced from available data.
; Useful for generating more complex queries.
!(import! &self examples/flybase/flybase-deduced-queries.metta)
; Includes the file where all deduced facts and data are stored.
; Provides a higher layer of abstraction and complexity.
!(import! &self examples/flybase/flybase-deduced.metta)
; Includes the file that manages the connections between various deduced facts.
; Useful for tracing relationships and making further deductions.
!(import! &self examples/flybase/flybase-deduced-connections.metta)
; Includes the file that holds information about the types of deduced data.
; Helpful for type-checking and ensuring data integrity.
!(import! &self examples/flybase/flybase-deduced-types.metta)
; Includes the file that manages the versioned space (vspace) within Flybase.
; Keeps track of the different versions of the database or logic layer.
!(import! &self examples/flybase/flybase-vspace.metta)
; Includes the file used to estimate the size that the loader will require.
; Useful for resource allocation and optimization.
!(import! &self examples/flybase/flybase-loader-size-estimates.metta)
; Includes the file responsible for loading data into Flybase.
; This includes both mined and deduced data.
; !(import! &self examples/flybase/flybase-loader.metta)
; The following files are commented out:
; Would include the file containing flattened mined data.
; Simplifies the complexity and allows for easier querying and data manipulation.
;!(import! &self examples/flybase/flybase-mined-flat.metta)
; Would include the file containing mined data.
; Forms the basis for further deductions and queries.
;!(import! &self examples/flybase/flybase-mined.metta)
;;;
(vspace test 1)
; !(extend-py! metta_learner)
; !(load-flybase)
!(print "; =====================================")
!(print "; Starting Shell !!!!!!!!!!!!!!!!!!!!!!")
!(print "; =====================================")
(: my-match (-> Atom Atom Atom Atom))
(= (my-match $a $b $c) (match $a $b $c))
!(match &self $s $s)
!(my-match &self $s $s)
!(metta_learner::vspace-main)