ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

126 results

Roel Van de Paar
Installing GNU Prolog on Mac OS X (getting a Bus Error)

Installing GNU Prolog on Mac OS X (getting a Bus Error) Helpful? Please support me on Patreon: ...

1:23
Installing GNU Prolog on Mac OS X (getting a Bus Error)

418 views

5 years ago

Playing With Prolog
Playing with Prolog - Connecting an Arduino to Prolog

This week we show how to read sensors and buttons from an arduino into prolog.

11:10
Playing with Prolog - Connecting an Arduino to Prolog

1,644 views

8 years ago

VisualProlog
Form Demo - Visual Prolog 7.3 - IDE demonstration

HowTo: Create a form in Visual Prolog and link it to a menu item. A do-this-do-that video that creates a form in a new package; ...

3:39
Form Demo - Visual Prolog 7.3 - IDE demonstration

14,705 views

15 years ago

Playing With Prolog
Jan Wielemaker- Storing Data in Prolog

Jan Wielemaker's guest lecture at the conclusion of the Prolog Basics course. Jan talks about alternatives for representing and ...

48:02
Jan Wielemaker- Storing Data in Prolog

1,280 views

5 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

James James
Markus Triska Interview on  Prolog

Markus Triska Interview on Prolog.

1:16:39
Markus Triska Interview on Prolog

295 views

3 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,138 views

7 years ago

Playing With Prolog
Playing with Prolog - Natural Language Reasoning with Alexa and SWI-Prolog

Can you help write the code to Authenticate Alexa? Check out the github code and contribute! What ideas do you have? Games?

21:35
Playing with Prolog - Natural Language Reasoning with Alexa and SWI-Prolog

2,661 views

8 years ago

DistroTube
A New Beginning With GNU Emacs - Configuring Emacs 01

Configuring Emacs will be a video series where I begin with a vanilla installation of GNU Emacs and configure it into what I want.

40:10
A New Beginning With GNU Emacs - Configuring Emacs 01

118,376 views

2 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

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

Roel Van de Paar
Ubuntu: Using emacs for prolog programs

Ubuntu: Using emacs for prolog programs Helpful? Please support me on Patreon: https://www.patreon.com/roelvandepaar With ...

1:22
Ubuntu: Using emacs for prolog programs

112 views

5 years ago

Milton MO
Prolog: Listas_01

Entendiendo las listas en Prolog P1.- LISTA(A). P2.- LISTA([L]). P3.- LISTA([X|Y]). P4.- LISTA([X,Y|Z]). P5.- pertenece(X,L).

12:23
Prolog: Listas_01

11,858 views

12 years ago

OpenSourceCook
GNU/Linux: Understanding important installation steps

In this video we have discussed the steps involved for the installation of a GNU/Linux system, with specific focus on understanding ...

22:13
GNU/Linux: Understanding important installation steps

181 views

5 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

Playing With Prolog
Loading the knowledgebase - consult and assert

Showing how to populate the knowledgebase. Editor hotkeys used - I have my editor set to use CUA style cut/copy/paste in the ...

6:18
Loading the knowledgebase - consult and assert

1,587 views

7 years ago

Andrew Tropin
[PATCH rde]: Prolog, Agda, Package Propagation

Reviewing RDE contributions, fixing bugs, talking about Guix and Guile. IRC Chat: #tropin IRC channel at libera.chat. Mastodon: ...

47:58
[PATCH rde]: Prolog, Agda, Package Propagation

203 views

Streamed 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,513 views

10 years ago

SWATI MALI
Using Turbo Prolog
13:14
Using Turbo Prolog

16,198 views

8 years ago

Playing With Prolog
Prolog Web Framework - Episode 5 - Termerized HTML

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

10:02
Prolog Web Framework - Episode 5 - Termerized HTML

539 views

5 years ago

Roel Van de Paar
Ubuntu: How to install swi-prolog as a shared library?

Ubuntu: How to install swi-prolog as a shared library? Helpful? Please support me on Patreon: ...

1:34
Ubuntu: How to install swi-prolog as a shared library?

31 views

6 years ago

Playing With Prolog
Playing with Prolog - The SWI-Prolog Graphic Debugger

This week Sam and I explore the neat Graphic Debugger that ships with SWI-Prolog. my_member_or_5(X,[X|_]).

9:25
Playing with Prolog - The SWI-Prolog Graphic Debugger

9,186 views

8 years ago

VisualProlog
Dump Demo - Visual Prolog 7.3 - IDE demonstration

This video demonstrates how to use "Break on exception" in the Visual Prolog debugger, and how to traverse an exception dump ...

4:33
Dump Demo - Visual Prolog 7.3 - IDE demonstration

4,866 views

15 years ago

Roel Van de Paar
Ubuntu: How to install clpqr library in SWI-Prolog?

Ubuntu: How to install clpqr library in SWI-Prolog? Helpful? Please support me on Patreon: ...

1:20
Ubuntu: How to install clpqr library in SWI-Prolog?

58 views

6 years ago

Matemáticas 1 - Universidad de Alicante
Presentación e Introducción a Prolog [1|2017]

Puntos tratados en la introducción a la asignatura: - Tutorías - Evaluación - Prolog/PLMan y sistema automático - Concurso ...

48:51
Presentación e Introducción a Prolog [1|2017]

1,260 views

6 years ago