ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

200 results

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,484 views

17 years ago

MIT OpenCourseWare
Lecture 8B: Logic Programming, Part 2

MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005 Instructor: Harold Abelson, Gerald Jay Sussman, Julie ...

1:08:45
Lecture 8B: Logic Programming, Part 2

9,067 views

6 years ago

MIT OpenCourseWare
Lecture 8A: Logic Programming, Part 1

MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005 Instructor: Harold Abelson, Gerald Jay Sussman, Julie ...

41:45
Lecture 8A: Logic Programming, Part 1

34,934 views

6 years ago

The Power of Prolog
Describing Domino Tilings with Prolog

CLP(B), Constraint Logic Programming over Boolean variables, lets us compactly describe exact cover problems such as finding ...

51:52
Describing Domino Tilings with Prolog

1,574 views

11 months ago

ACM SIGPLAN
miniKanren 2021 - Prolog-Style Meta-Programming miniKanren

https://icfp21.sigplan.org/details/minikanren-2021-papers/1/Prolog-Style-Meta-Programming-miniKanren.

21:07
miniKanren 2021 - Prolog-Style Meta-Programming miniKanren

1,247 views

4 years ago

University Academy
PPL14: Principle of Programming language,Logic Programming lecture Prolog tutorial Hindi

Download Notes from the Website: https://www.universityacademy.in/products Join our official Telegram Channel by the Following ...

33:51
PPL14: Principle of Programming language,Logic Programming lecture Prolog tutorial Hindi

40,681 views

8 years ago

Confreaks
RubyConf 2016 - Problem Solved! Using Logic Programming to Find Answers by Gavin McGimpsey

RubyConf 2016 - Problem Solved! Using Logic Programming to Find Answers by Gavin McGimpsey We love Ruby's object ...

45:10
RubyConf 2016 - Problem Solved! Using Logic Programming to Find Answers by Gavin McGimpsey

2,203 views

9 years ago

Apnea Coding
River crossing puzzle in Prolog #asmr #coding #programming

This program is a simple demonstration for illustrating how classic declarative programming can provide very intuitive and ...

29:59
River crossing puzzle in Prolog #asmr #coding #programming

118 views

1 year ago

German Vidal
Explanations as Programs in Probabilistic Logic Programming

Talk at the 16th International Symposium on Functional and Logic Programming (FLOPS 2022)

20:25
Explanations as Programs in Probabilistic Logic Programming

142 views

3 years ago

Lambda Pool
Prolog vs Scala comparisons and overview - pt I

A succinct overview of logic programming compared to imperative. How Prolog can be compared to Scala and vice versa, short ...

37:25
Prolog vs Scala comparisons and overview - pt I

472 views

11 years ago

Taciano Dreckmann Perez
Programming a text adventure game with Borland Turbo Prolog 2.0 (DOS)

Tutorial on how to program a text adventure game in an emulated PC running DOS using Borland Turbo Prolog 2.0.

1:25:12
Programming a text adventure game with Borland Turbo Prolog 2.0 (DOS)

1,733 views

2 years ago

JGS Lectures
SER240 | Summary of Programming Languages | Programming with Prolog

Lecture 14. Programming with Prolog Hope you enjoy the lecture. Feel free to leave your comments or questions below.

33:26
SER240 | Summary of Programming Languages | Programming with Prolog

1,946 views

5 years ago

Confreaks
RubyConf 2017: 4 Programming Paradigms in 45 Minutes by Aja Hammerly

4 Programming Paradigms in 45 Minutes by Aja Hammerly One of the most important lessons I've learned is that programming ...

43:10
RubyConf 2017: 4 Programming Paradigms in 45 Minutes by Aja Hammerly

7,714 views

8 years ago

Artificial Intelligence
Prolog

Now prolog is an implementation of logic programming. It is one implementation of logic programming it doesn't have to be.

38:26
Prolog

3,398 views

9 years ago

Microsoft Research
Logic, Co-induction and Infinite Computation

... and show how co-induction can be elegantly incorporated into logic programming to obtain the co-inductive logic programming ...

1:10:34
Logic, Co-induction and Infinite Computation

3,463 views

7 years ago

PROBPROG Conference
Angelika Kimmig: "A short introduction to probabilistic logic programming"

... a logic programming language or just Prolog. So as a quick reminder in Prolog you're describing the world in terms of relations.

22:33
Angelika Kimmig: "A short introduction to probabilistic logic programming"

3,612 views

7 years ago

Zeus Jean
Sudoku in Prolog-sub-test

... helps to reduce the search space because using constrained logic programming we can instantly solve such puzzles in prolog.

31:41
Sudoku in Prolog-sub-test

430 views

5 years ago

HackSoc
An Introduction To Constraint Programming - Jacob Allen

As a programmer, computer scientist, computer engineer etc. there are many problems for which an algorithm can easily be ...

28:03
An Introduction To Constraint Programming - Jacob Allen

21,866 views

4 years ago

wikipedia tts
Prolog | Wikipedia audio article

This is an audio version of the Wikipedia Article: Prolog Listening is a more natural way of learning, when compared to reading.

40:00
Prolog | Wikipedia audio article

22 views

7 years ago

wikipedia tts
Prolog | Wikipedia audio article

This is an audio version of the Wikipedia Article: Prolog Listening is a more natural way of learning, when compared to reading.

38:33
Prolog | Wikipedia audio article

13 views

7 years ago