Skip to content
Navigation Menu
Toggle navigation
Sign in
Product
Actions
Automate any workflow
Packages
Host and manage packages
Security
Find and fix vulnerabilities
Codespaces
Instant dev environments
GitHub Copilot
Write better code with AI
Code review
Manage code changes
Issues
Plan and track work
Discussions
Collaborate outside of code
Explore
All features
Documentation
GitHub Skills
Blog
Solutions
By size
Enterprise
Teams
Startups
By industry
Healthcare
Financial services
Manufacturing
By use case
CI/CD & Automation
DevOps
DevSecOps
Resources
Topics
AI
DevOps
Innersource
Open Source
Security
Software Development
Explore
Learning Pathways
White papers, Ebooks, Webinars
Customer Stories
Partners
Open Source
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories
Topics
Trending
Collections
Enterprise
Enterprise platform
AI-powered developer platform
Available add-ons
Advanced Security
Enterprise-grade security features
GitHub Copilot
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
souffle-lang
/
souffle-lang.github.io
Public
Notifications
You must be signed in to change notification settings
Fork
58
Star
7
Code
Issues
11
Pull requests
5
Actions
Security
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Security
Insights
Files
master
Breadcrumbs
souffle-lang.github.io
/
img
/
Directory actions
More options
Directory actions
More options
Latest commit
History
History
master
Breadcrumbs
souffle-lang.github.io
/
img
/
Top
Folders and files
Name
Name
Last commit message
Last commit date
parent directory
..
adt_branch.svg
adt_branch.svg
aggregator.svg
aggregator.svg
apsec16.jpg
apsec16.jpg
argument.svg
argument.svg
argument_list.svg
argument_list.svg
article-footer.png
article-footer.png
atom.svg
atom.svg
attribute.svg
attribute.svg
binary_operation.svg
binary_operation.svg
choice_domain.svg
choice_domain.svg
component_decl.svg
component_decl.svg
component_init.svg
component_init.svg
component_type.svg
component_type.svg
conjunction.svg
conjunction.svg
constant.svg
constant.svg
constraint.svg
constraint.svg
datamodel1.png
datamodel1.png
directive.svg
directive.svg
directive_qualifier.svg
directive_qualifier.svg
directive_value.svg
directive_value.svg
disjunction.svg
disjunction.svg
fact.svg
fact.svg
footer-logo.png
footer-logo.png
functor_decl.svg
functor_decl.svg
github_login.png
github_login.png
graph.png
graph.png
gui_graph.png
gui_graph.png
gui_profiler_toolbar.png
gui_profiler_toolbar.png
gui_relation_table.png
gui_relation_table.png
intrinsic_functor.svg
intrinsic_functor.svg
logFormat.png
logFormat.png
logo-2x.png
logo-2x.png
method_architecture_comp.png
method_architecture_comp.png
method_architecture_inter.png
method_architecture_inter.png
new_pull_request.png
new_pull_request.png
pragma.svg
pragma.svg
program.svg
program.svg
pull_request_diff.png
pull_request_diff.png
pull_request_example.png
pull_request_example.png
qualified_name.svg
qualified_name.svg
query_plan.svg
query_plan.svg
reaching_definition.jpg
reaching_definition.jpg
record_list.svg
record_list.svg
record_recursive.png
record_recursive.png
record_table.png
record_table.png
relGui.png
relGui.png
relation_decl.svg
relation_decl.svg
rule.png
rule.png
rule.svg
rule.svg
same_generation_graph.jpg
same_generation_graph.jpg
souffle-compiler.png
souffle-compiler.png
souffle.png
souffle.png
souffle_fork.png
souffle_fork.png
souffle_github.png
souffle_github.png
subsumptive_rule.svg
subsumptive_rule.svg
type_decl.svg
type_decl.svg
type_name.svg
type_name.svg
unary_operation.svg
unary_operation.svg
universe_symbol_base.pptx
universe_symbol_base.pptx
universe_symbol_base.svg
universe_symbol_base.svg
universe_symbol_place.pptx
universe_symbol_place.pptx
universe_symbol_place.svg
universe_symbol_place.svg
userdef_functor.svg
userdef_functor.svg
variable.svg
variable.svg
View all files
You can’t perform that action at this time.