HackerTube
Mathematics & Theoretical CS

Logic & formal methods

Tutorial×Play all on YouTube
A Tour of Prolog56:03

A Tour of Prolog

The Power of Prolog
33K views • 4 years ago