ViewTube

My goal is to make Prolog more popular than ever. I am starting this quest by posting videos of me coding in Prolog in realtime, ...

Fair intersection of seekable iterators (Video, miniKanren 2025) Michael Arntzenius (UC Berkeley) Abstract: miniKanren's key ...

Test your knowledge with this exciting multiple choice quiz on Prolog. Subscribe for daily quizzes Comment your score.

topics Logic Programming Language: Introduction, an Overview of Logic Programming, Basic Elements of Prolog, Applications of ...

In this video, we break down one of the most famous "Toy Problems" in Artificial Intelligence: The Monkey Banana Problem.

Prolog is a logic programming language used primarily for computational linguistics and artificial intelligence. It is built on a few ...

Get into the foundational concepts of programming language design and implementation! This comprehensive module review ...

Instead of traditional sequencers, Dogalog lets you livecode music using logic programming — change the rules, and the sound ...

This video introduces Logic Programming in Artificial Intelligence, explaining the structure of a logic program, a simple ...

Introduction to a paper on Lisp-related technologies: LM-Prolog The Language and Its Implementation (1986) Mats Carlsson (author)

The provided text explores the profound influence of Gottfried Leibniz's philosophical concepts, particularly his "universal ...

AVALIAÇÃO 4: PROLOG Criação de um sistema de recomendação de grupos de estudo.