ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

619 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

212 views

8 years 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

556 views

9 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

623 views

1 month ago

LernenInVerschiedenenFormen
Prolog 02:  Real basics about the processing logic in Prolog (No programming)

Playlist link: https://www.youtube.com/watch?v=6tfxnH_zFts&list=PLHbIZiLIDu-qbXqhvgkIjyIK0SbqYNcU8 Video erstellt mit ...

13:31
Prolog 02: Real basics about the processing logic in Prolog (No programming)

13,755 views

7 years 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,474 views

10 years ago

Playing With Prolog
Playing with Prolog - Machine Learning with Structured Data

... Probabilistic Inductive Logic Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): Theory ...

13:33
Playing with Prolog - Machine Learning with Structured Data

4,221 views

8 years ago

ConfEngine
let over logic - What functional programming can learn from logic programming: Anne Ogborn #FnConf18

48 years after it's invention, logic programming remains a less frequently used paradigm. What can functional programming learn ...

42:52
let over logic - What functional programming can learn from logic programming: Anne Ogborn #FnConf18

1,899 views

6 years ago

TogoTV
mediKanren: a constraint logic language for biomedical reasoning @ BioHackathon2018

https://togotv.dbcls.jp/20190218.html #togotv#DBCLS#bioinformatics #togotv#DBCLS#bioinformatics.

8:43
mediKanren: a constraint logic language for biomedical reasoning @ BioHackathon2018

397 views

6 years ago

LispNYC
Pierre de Lacaze on Logic Programming

This talk will cover various aspects of Logic Programming. We examine Logic Programming in the contexts of Programming ...

2:03:46
Pierre de Lacaze on Logic Programming

246 views

4 years ago

Playing With Prolog
Playing with Prolog - Term Expansion

This week we play with term expansion. Sam asks Annie about term expansion and what you can do with it. Code is at ...

6:58
Playing with Prolog - Term Expansion

675 views

8 years ago

softdevteamuk
Paul Tarau @ VMSS16: A Simplified Virtual Machine for Multi-Engine Prolog

Slides and other VMSS16 talks at http://soft-dev.org/events/vmss16/

1:22:26
Paul Tarau @ VMSS16: A Simplified Virtual Machine for Multi-Engine Prolog

1,133 views

9 years ago

Federated Logic Conference FLoC 2018
Richard Evans: Inductive logic programming and deep learning I

Lecture 19, Friday 6 July 2018, part of the FoPSS Logic and Learning School at FLoC 2018 - see http://fopss18.mimuw.edu.pl/ and ...

1:13:45
Richard Evans: Inductive logic programming and deep learning I

5,324 views

7 years ago

RU Computer Science
Programming Languages: The Logic Paradigm and Prolog - 1

First lecture on the Prolog programming language.

20:58
Programming Languages: The Logic Paradigm and Prolog - 1

7,027 views

11 years ago

CosmoLearning
Lec 7. Implementing Prolog: Unification, backtracking with coroutines

CS 164 (S 2012)

1:20:52
Lec 7. Implementing Prolog: Unification, backtracking with coroutines

1,843 views

8 years ago

Paul Fodor
CSE307 Principles of Programming Languages course: Logic Programming

XSB Prolog: http://xsb.sourceforge.net Flora-2: http://flora.sourceforge.net Online course, Summer 2018 Instructor: Paul Fodor ...

2:59:35
CSE307 Principles of Programming Languages course: Logic Programming

1,437 views

7 years ago

onurtolgasehitoglu
CEng 242 - Logic Programming Paradigm - Prolog - Part 1

Idea can be turned into a product program and logic program and it is written like this further apart may I share further hustle I ...

1:21:20
CEng 242 - Logic Programming Paradigm - Prolog - Part 1

1,553 views

5 years ago

Playing With Prolog
Playing with Prolog - Map Generation with cplint

Dr Fabrizio Riguzzi guides us through his map generation program in cplint, a probabilistic logic programming system atop ...

13:08
Playing with Prolog - Map Generation with cplint

814 views

8 years ago

Playing With Prolog
Playing With Prolog - Train Consists

Poor Lars is having trouble arranging cars in his trains. Annie helps him out using constraint programming The program is ...

11:54
Playing With Prolog - Train Consists

684 views

5 years ago

foobletch
Solving Hexologic with Prolog

In this video I'm showing one way for how to automatically solve a certain kind of puzzle, here with Hexologic, using an existing ...

16:31
Solving Hexologic with Prolog

96 views

4 years ago

LernenInVerschiedenenFormen
Prolog 05: Doing Prolog processing on paper

Playlist link: https://www.youtube.com/watch?v=6tfxnH_zFts&list=PLHbIZiLIDu-qbXqhvgkIjyIK0SbqYNcU8 Video erstellt mit ...

6:09
Prolog 05: Doing Prolog processing on paper

2,097 views

7 years ago