-
Notifications
You must be signed in to change notification settings - Fork 7
/
Copy pathindex.html
127 lines (127 loc) · 5.27 KB
/
index.html
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
<!DOCTYPE html>
<html>
<head>
<script src="/vendor/js/jquery.min.js"></script>
<script src="/vendor/js/tether.min.js"></script>
<script src="/vendor/js/bootstrap.min.js"></script>
<script src="/vendor/js/leaflet.js"></script>
<script src="/vendor/js/markdown-it.min.js"></script>
<script src="/vendor/js/markdown-it-footnote.js"></script>
<script src="/vendor/js/highlight.min.js"></script>
<link rel="stylesheet" href="/vendor/css/tomorrow.min.css">
<link rel="stylesheet" href="/css/basic.css" />
<link rel="stylesheet" href="/vendor/css/font-awesome.min.css" />
<link rel="icon" type="image/x-icon" href="/img/favicon.ico">
<title>Scallop</title>
</head>
<body>
<nav class="template" data-template="navbar"></nav>
<main>
<section id="getting-started-banner">
<div class="center">
<img src="img/scallop-logo-ws-512.png" width="150px" />
<div>
<font size="+3">Neurosymbolic Programming with Scallop</font>
</div>
<div>
<a href="/download.html" class="getting-started-button">Install <i class="fa fa-caret-right" style="margin-left: 5px"></i></a>
<a href="/tutorial.html" class="getting-started-button">Tutorial <i class="fa fa-caret-right" style="margin-left: 5px"></i></a>
</div>
</div>
</section>
<section>
<div class="wrapper row" style="padding-bottom: 50px">
<div class="col-3">
<div class="card">
<div class="card-inner">
<img class="card-icon" src="/img/icon-language.png" />
<h2 class="center">Language</h2>
<p>
Scallop is a declarative language designed to support rich symbolic reasoning in AI applications.
It is based on Datalog, a logic rule-based query language for relational databases.
</p>
</div>
</div>
</div>
<div class="col-3">
<div class="card">
<div class="card-inner">
<img class="card-icon" src="/img/icon-solver.png" />
<h2 class="center">Solver</h2>
<p>
Scallop is a scalable Datalog solver equipped with support for discrete, probabilistic, and
differentiable modes of reasoning.
These modes are configurable to suit the needs of different AI applications.
</p>
</div>
</div>
</div>
<div class="col-3">
<div class="card">
<div class="card-inner">
<img class="card-icon" src="/img/icon-framework.png" />
<h2 class="center">Framework</h2>
<p>
Scallop provides bindings to support logic reasoning modules within Python programs.
As a result, Scallop can be deeply integrated with existing PyTorch machine
learning pipelines.
</p>
</div>
</div>
</div>
</div>
</section>
<section class="bg-light-blue">
<div class="wrapper center">
<h2>Wide Range of Applications</h2>
<div style="width: 500px; margin: 0 auto;">
<p>
Scallop can be used to develop a wide variety of applications in vision and NLP that involve symbolic reasoning.
The reasoning component is specified via logic rules which can then be deeply
integrated with machine learning models, such as convolutional neural networks and transformers.
</p>
</div>
</div>
</section>
<section>
<div class="wrapper row">
<div class="col-5 flex center">
<div class="application-image-holder" style="background-image: url(/img/clevr/CLEVR_train_000013.png)"></div>
</div>
<div class="col-7">
<div id="clevr-scallop-sample" class="markdown-content"></div>
</div>
</div>
</section>
<section class="bg-light-blue">
<div class="wrapper row">
<div class="col-7">
<div id="pathfinder-scallop-sample" class="markdown-content element-bg-white"></div>
</div>
<div class="col-5">
<div class="application-image-holder" style="background-image: url(/img/pathfinder/banner.png)"></div>
</div>
</div>
</section>
<section>
<div class="wrapper row">
<div class="col-5 flex center">
<div class="application-image-holder" style="background-image: url(/img/hwf/banner.png)"></div>
</div>
<div class="col-7">
<div id="hwf-scallop-sample" class="markdown-content"></div>
</div>
</div>
</section>
</main>
<footer class="template" data-template="footer"></footer>
<script src="/js/hljs_scallop.js"></script>
<script src="/js/load_markdown.js"></script>
<script src="/js/load_templates.js"></script>
<script>
load_markdown("snippets/clevr-sample", $("#clevr-scallop-sample"), null)
load_markdown("snippets/pathfinder-sample", $("#pathfinder-scallop-sample"), null)
load_markdown("snippets/hwf-sample", $("#hwf-scallop-sample"), null)
</script>
</body>
</html>