Hacker
Tube
Home
Longs
Liked
History
Watch later
Categories
Playlists
Settings
Mathematics & Theoretical CS
Logic & formal methods
Filters
Tutorial
×
Evergreen only
×
Play all on YouTube
Upload date
Past year
2020s
2010s
2000s
Type
Talk
Lecture
Explainer
Tutorial
Documentary
Interview
Demo
Commentary
Comedy
Music
Duration
Under 4 minutes
4-20 minutes
20-60 minutes
Over 1 hour
Features
Hidden gems
Evergreen only
Sort by
Best first
Recently recommended
Upload date
Oldest first
View count
Like ratio
56:03
A Tour of Prolog
The Power of Prolog
33K views • 4 years ago
