ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

621 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

645 views

2 months 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,804 views

7 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

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

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

10 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,136 views

9 years ago

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

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

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

163 views

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

7 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

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

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

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

ConfEngine
Logic Programming à la Carte by Edward Kmett #FnConf19

I've been working on a logic programming framework in Haskell, called guanxi (關係) with an eye towards scalability. To build it I ...

47:05
Logic Programming à la Carte by Edward Kmett #FnConf19

2,324 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

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
Prolog Web Framework - Episode 9 - Styling

Episode 9 of Prolog Web Framework Based on the workshop I gave in 2013 at Strange Loop ...

4:06
Prolog Web Framework - Episode 9 - Styling

358 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

99 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,111 views

7 years ago

LernenInVerschiedenenFormen
Prolog 01: Introduction To this series / playlist about logic programming

Playlist link: https://www.youtube.com/watch?v=6tfxnH_zFts&list=PLHbIZiLIDu-qbXqhvgkIjyIK0SbqYNcU8 Empfehlung: Mit 1 ...

1:26
Prolog 01: Introduction To this series / playlist about logic programming

22,623 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

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

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

11 years ago

Adrián Arroyo Calle
Introducción a la Programación Lógica con Scryer Prolog

Este vídeo es una regrabación de la charla que se dio en esLibre 2024 Vàlencia, con mismo título. En esta charla se introduce el ...

59:42
Introducción a la Programación Lógica con Scryer Prolog

207 views

1 year 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,555 views

5 years ago