ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

611 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

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

631 views

1 month 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

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

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

8 years ago

ytaki0801
Prologプログラミングのデモ映像

旧チャンネルの @TAKIZAWA Yozo / 滝沢陽三 より転載 -- SWI-Prologを用いたPrologプログラミングの実行デモです. 大まかな ...

5:54
Prologプログラミングのデモ映像

162 views

2 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,480 views

10 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

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

9 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

815 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

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

8 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

99 views

4 years ago

Federated Logic Conference FLoC 2018
Stephen H Muggleton: Inductive Logic Programming I

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

1:31:16
Stephen H Muggleton: Inductive Logic Programming I

7,437 views

7 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

WOSSAT
Simon Merrick: Programming in Logic

An introduction to Prolog and logic programming by Simon Merrick at WOSSAT in Wellington, New Zealand, on 18 July 2019.

29:23
Simon Merrick: Programming in Logic

49 views

6 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

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

7 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