This talk was presented as part of JuliaCon 2021.
Abstract:
Julog.jl is a library and domain-specific language for Prolog-like logic programming in Julia. This lightning will introduce logic programming at a high level, how Julog can be used to solve first-order logic problems, how its functionality can be integrated with custom Julia functions, downstream use cases, and some next steps for making logic and constraint programming fast and accessible for Julia users.
For more info on the Julia Programming Language, follow us on Twitter: https://twitter.com/JuliaLanguage and consider sponsoring us on GitHub: https://github.com/sponsors/JuliaLang
Contents
0:00 Introduction
0:19 Logic Programming
1:45 Logic Programming: Prolog
2:10 Logic Programming: Julog
2:32 Logic Programming: SLD Resolution
3:27 Natural Numbers
3:59 List Operations
4:21 Interpolation Expressions
5:04 Custom Functions
5:45 Performance
S/O to https://github.com/waldyrious for the video timestamps!
Want to help add timestamps to our YouTube videos to help with discoverability? Find out more here: https://github.com/JuliaCommunity/YouTubeVideoTimestamps
Interested in improving the auto generated captions? Get involved here: https://github.com/JuliaCommunity/YouTubeVideoSubtitles
3 Comments