Functional logic programming languages | Logic programming languages

Mercury (programming language)

Mercury is a functional logic programming language made for real-world uses. The first version was developed at the University of Melbourne, Computer Science department, by Fergus Henderson, Thomas Conway, and Zoltan Somogyi, under Somogyi's supervision, and released on April 8, 1995. Mercury is a purely declarative logic programming language. It is related to both Prolog and Haskell. It features a strong, static, polymorphic type system, and a strong mode and determinism system. The official implementation, the Melbourne Mercury Compiler, is available for most Unix and Unix-like platforms, including Linux, macOS, and for Windows. (Wikipedia).

Mercury (programming language)
Video thumbnail

the C language (part 2 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

the C language (part 5 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

Automate Excel With Python | Python Excel Automation | Python Tutorial For Beginners | Simplilearn

In this video, we are going to cover how to automate excel using Python using different datasets. This video will help you to understand what is excel, What is python, and What is the automation of excel and where it is used, after which will do a hands-on lab demo to demonstrate the autom

From playlist Python For Beginners 🔥[2022 Updated]

Video thumbnail

What is Scala Programming? An Introduction to Methods, Classes, Functions and Collections

Scala is a multi-paradigm language that merges object-oriented programming and functional programming. For more free lessons, visit http://oreil.ly/2aZFvln. Scala was first released in 2003. The language is supported by a large and growing community, and is now one of the most well-known

From playlist Scala

Video thumbnail

Programming Languages - (part 6 of 7)

How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a larger series teaching programming. Visit http://codeschool.org

From playlist Programming Languages

Video thumbnail

Numeric Types in Python - Socratica #Shorts

Find our programming playlists here: Python: http://bit.ly/PythonSocratica SQL: http://bit.ly/SQL_Socratica Python instructor: Ulka Simone Mohanty (@ulkam on Twitter) Written & Produced by Michael Harrison #Python #Coding #Shorts

From playlist Python Programming Tutorials (Computer Science)

Video thumbnail

The Go Language (1 of 4)

An introduction to the Go programming language. Assumes knowledge of Javascript. Part of a larger series at http://codeschool.org

From playlist The Go Language

Video thumbnail

Hello World in Python || Python Tutorial || Python Programming

Python is a clean and powerful programming language. You can use it to build websites, analyze data, write utilities, and create many other kinds of software. It's become a tradition that when you learn a new programming language, you start with a program that prints the message "Hello w

From playlist Python Programming Tutorials (Computer Science)

Video thumbnail

Lecture 9: International Regulations and Supply Chains: The Case of Mercury

MIT ESD.S43 Green Supply Chain Management, Spring 2014 View the complete course: http://ocw.mit.edu/ESD-S43S14 Instructor: Noelle Selin Professor Noelle Selin from MIT was invited talk on the case-study of mercury. The topics covered the review of the control and regulations of mercury in

From playlist MIT ESD.S43 Green Supply Chain Management, Spring 2014

Video thumbnail

RustConf 2019 - Bringing Rust Home to Meet the Parents by Jeremy Fitzhardinge

RustConf 2019 - Bringing Rust Home to Meet the Parents by Jeremy Fitzhardinge How can you bring your love for Rust to your organization, and how can you set it up for success? Facebook has a ton of code written in a lot of languages. Is there room for Rust? Yes! This talk covers my journ

From playlist RustConf 2019

Video thumbnail

Here's What It Took to Put Humans on the Moon | Compilation

2019 marks the 50th anniversary of the Apollo 11 lunar landing and we're doing something big. On Wednesday, July 17th, SciShow is launching its first-ever documentary episode! To freshen up your Apollo knowledge, here is a good dive into the science and engineering that put people on the

From playlist SciShow Space

Video thumbnail

RubyConf 2019 - Don’t Hang Me Out To DRY by Kevin Murphy

Don’t Hang Me Out To DRY by Kevin Murphy Close your eyes and imagine the perfect codebase to work on. I bet you’ll say it has complete test coverage. It’s fully-optimized, both in terms of performance and architectural design. And, of course, it contains only DRY code. Surely we can all

From playlist RubyConf 2019

Video thumbnail

Did Kent Beck REALLY Invent TDD? | Kent Talks About TDD, TCR & Reveals One Of His BEST Ideas

Why does Kent Beck refer to himself as the 'rediscoverer of TDD'? Have you tried TCR yet? And what does Kent say is "one of his best ever ideas"? This is a clip taken from Kent's full episode on The Engineering Room which you can watch HERE ➡️ https://youtu.be/guycIP56YeY --------------

From playlist Automated Testing

Video thumbnail

Project 1 Section 2 Part 1

Setting up Julia (using Juliabox.org) to import our dataset and start our data analysis.

From playlist The Julia Computer Language

Video thumbnail

Professor Peter O’Hearn: "Reasoning with Big Code"

The Turing Lectures: Computer Science - Professor Peter O’Hearn: "Reasoning with Big Code" Click the below timestamps to navigate the video. 00:00:10 Welcome by Professor Jon Crowcroft 00:02:51 Speaker introduction by Professor Jon Crowcroft 00:03:38 Professor Peter O’H

From playlist Turing Lectures

Video thumbnail

John Graham-Cumming keynote Strata Conference London 2012 "The Great Railway Caper"

http://strataconf.com/strataeu/public/schedule/detail/26214 The Great Railway Caper: Big Data in 1955 It's 1951 and you've got the world's first business computer and you've just been handed a Big Data problem. Go! With 2K of memory it was powerful enough to run the then massive Lyons bu

From playlist Strata in London 2012

Video thumbnail

Julius Sumner Miller: Lesson 10 - Atmospheric Pressure

Put out your open hand - grab hold of a handful of air - there is NOTHING there! Or so it seems! But there is - there's a powerful lot of STUFF there -an enormous array of it! The ATMOSPHERE is a massive thing. The pressure of the air is about 15 pounds per square inch at sea le

From playlist Julius Sumner Miller - Full Physics Laboratory Demonstrations

Video thumbnail

Episode 9: Moving In Circles - The Mechanical Universe

Episode 9. Moving in Circles: A look at the Platonic theory of uniform circular motion. “The Mechanical Universe,” is a critically-acclaimed series of 52 thirty-minute videos covering the basic topics of an introductory university physics course. Each program in the series opens and clos

From playlist The Mechanical Universe

Video thumbnail

the C language (part 1 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Related pages

Alice (programming language) | Visual Prolog | Fibonacci number | Garbage collection (computer science) | Prolog | Logtalk | Type system | Polymorphism (computer science) | SLD resolution | Curry (programming language) | Functional logic programming | Emacs | Oz (programming language) | Strong and weak typing | Vim (text editor) | Static program analysis | Erlang (programming language) | Logic programming