ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

3,626 results

CosmoLearning
CS 164 (S 2012) Lec 6. Logic Programming/ Introduction to Prolog, Facts, Rules
1:16:06
CS 164 (S 2012) Lec 6. Logic Programming/ Introduction to Prolog, Facts, Rules

211 views

8 years ago

Exercism
A Brief Introduction to Prolog

Erik gives us through a brief introduction to Prolog, solving the Queen Attack exercise on Exercism, and exploring why it's an ...

37:42
A Brief Introduction to Prolog

28,608 views

2 years ago

Strange Loop Conference
"Production Prolog" by Michael Hendricks

Prolog isn't just for solving cute logic puzzles. It's a powerful, productive, modern language. We've been using Prolog in ...

39:58
"Production Prolog" by Michael Hendricks

55,370 views

11 years ago

Derek Banas
Prolog Tutorial

I wrote a Techno-Thriller called Whispers if you're interested: https://amzn.to/4cfdtNW I'd greatly appreciate a review for it if you ...

1:03:37
Prolog Tutorial

973,681 views

10 years ago

The Power of Prolog
A Tour of Prolog

Let's take a look at Prolog's greatest attractions and most unique features! In addition to being an excellent database and query ...

56:03
A Tour of Prolog

29,695 views

3 years ago

Logic Programming Education
Manuel Hermenegildo on How to Best Teach Prolog

The Prolog School Bus comprises a series of seminars as part of the Logic Programming Initiative. These sessions are designed ...

25:25
Manuel Hermenegildo on How to Best Teach Prolog

203 views

1 year ago

Lawrence Paulson
Logic and Proof, Lecture 8: Resolution and Prolog

Covering binary resolution and factorisation, but also pure Prolog and proof by model elimination. "Logic and Proof" is taught to ...

51:13
Logic and Proof, Lecture 8: Resolution and Prolog

491 views

2 years ago

Jacob Schrum
Basic Logic Programming in Prolog and Mercury

Presents some real code examples of how logic programming languages Prolog and Mercury work. Specifically, the use of ...

24:13
Basic Logic Programming in Prolog and Mercury

1,031 views

1 year ago

Confreaks
LambdaConf 2015 - Introduction to Constraint Logic Programming   Sergii Dymchenko

Constraint logic programming is a paradigm that allows solving hard combinatorial problems with minimal programming effort.

1:24:06
LambdaConf 2015 - Introduction to Constraint Logic Programming Sergii Dymchenko

10,470 views

9 years ago

Logic Programming Education
Gopal Gupta on Teaching Prolog and Logic Programming

The Prolog School Bus comprises a series of seminars as part of the Logic Programming Initiative. These sessions are designed ...

22:40
Gopal Gupta on Teaching Prolog and Logic Programming

138 views

2 years ago

The Power of Prolog
Definite Clause Grammars (DCGs)

Prolog has a built-in grammar mechanism, Definite Clause Grammars (DCGs). A DCG describes a sequence, and allows us to ...

1:17:34
Definite Clause Grammars (DCGs)

10,632 views

3 years ago

Tomas Petricek
TinyProlog 5.1 - How logic programming works

Prolog is based on the logic programming paradigm, which is very different from the functional and imperative paradigms that ...

24:47
TinyProlog 5.1 - How logic programming works

598 views

1 month ago

Logic Programming Education
David S Warren on the Mathematics of Prolog

The Prolog School Bus comprises a series of seminars as part of the Initiative for teaching logic programming and in particular ...

51:49
David S Warren on the Mathematics of Prolog

573 views

1 year ago

PragueLambda
Pavel Bažant: Prolog and Logic Programming

The talk was recorded on Prague Lambda Meetup in Locus Workspace, June 8th 2016.. Meetup page: ...

1:35:56
Pavel Bažant: Prolog and Logic Programming

555 views

9 years ago

The Flourishing
Learn To Code // Code To Learn - The Prolog Programming Language - What I Have Learned So Far

In this third episode of the Learn To Code // Code To Learn series I talk about learning the Prolog programming language and ...

1:46:51
Learn To Code // Code To Learn - The Prolog Programming Language - What I Have Learned So Far

212 views

1 year ago

Tayyaba Farhat
How to write facts, Rule and Queries in Prolog | Logic Programming | Artificial Intelligence

Hi Everyone, Todays session includes writing facts in prolog. I have implemented facts and rules in prolog and sublime text along ...

20:54
How to write facts, Rule and Queries in Prolog | Logic Programming | Artificial Intelligence

9,133 views

4 years ago

nptelhrd
Lecture - 13 Logic Programming : Prolog

Lecture Series on Artificial Intelligence by Prof. P. Dasgupta, Department of Computer Science & Engineering, IIT Kharagpur.

59:50
Lecture - 13 Logic Programming : Prolog

120,482 views

17 years ago

Dan Selman
An introduction to Prolog (logic programming)

To celebrate 50 years of Prolog, I am published an internal Clause, Inc. 2020-04-08 patterns and techniques session on Prolog.

44:54
An introduction to Prolog (logic programming)

82 views

3 years ago

Paul Tarau
Logic and Problem Solving with Prolog

We start with a short history of Prolog and its origins in using logic as a problem solving tool. After introducing the unification ...

1:21:54
Logic and Problem Solving with Prolog

777 views

3 years ago

Engineering Academics
Unit IV - Lecture - Logic Programming Language - Prolog in PPL

Unit IV - Lecture - Logic Programming Language - Prolog in PPL.

23:22
Unit IV - Lecture - Logic Programming Language - Prolog in PPL

2,001 views

1 year ago