Logic programming languages

XSB

XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc. XSB extends Prolog with tabled resolution and HiLog (a standard extension of Prolog permitting limited higher-order logic programming). The open source XSB implementation includes an interface to the Java programming language. (Wikipedia).

Video thumbnail

Stereolab - The Super-It

Created with mp32tube.com

From playlist the absolute best of stereolab

Video thumbnail

How Xavix Works

Learn all about Xavix through an interview and demo from e3 2006.

From playlist Classic HowStuffWorks

Video thumbnail

AN ALGEBRAIC EXTRAVAGANZA! The integral 1/(x^3+1)

Merch :v - https://teespring.com/de/stores/papaflammy Help me create more free content! =) https://www.patreon.com/mathable Factoring denominator: https://youtu.be/0EincCQrG40 Completing the square: https://youtu.be/a_4rPMxZO_8 Natural logarithm integral: https://youtu.be/gGbL1dW4rSQ Inv

From playlist Integrals

Video thumbnail

Markus Aichhorn - LDA+DMFT Part I

PROGRAM: STRONGLY CORRELATED SYSTEMS: FROM MODELS TO MATERIALS DATES: Monday 06 Jan, 2014 - Friday 17 Jan, 2014 VENUE: Department of Physics, IISc Campus, Bangalore PROGRAM LINK : http://www.icts.res.in/program/MTM2014 The realistic description of materials with strong electron-electro

From playlist Strongly correlated systems: From models to materials

Video thumbnail

Ioan Bejenaru: Global well posedness for the Cubic Dirac equation in the critical space

The lecture was held within the framework of the (Junior) Hausdorff Trimester Program Harmonic Analysis and Partial Differential Equations.(08.08.2014)

From playlist HIM Lectures: Trimester Program "Harmonic Analysis and Partial Differential Equations"

Video thumbnail

Prof. Dr. Wilhelm Singhof: Maryam Mirzakhani - Ruhm und früher Tod einer Mathematikerin

Maryam Mirzakhani (1977 – 2017) erhielt als erste und bisher einzige Frau im Jahr 2014 die Fields-Medaille, eine der hochrangigsten Auszeichnungen im Bereich der Mathematik. Ihr Leben und ihre Karriere sowie die Geschichte der Fields-Medaille stehen im Fokus des Leipziger Gespräches zur M

From playlist Leipziger Gespräche zur Mathematik

Video thumbnail

Seminar In the Analysis and Methods of PDE (SIAM PDE): Monica Visan

Title: Determinants, Commuting Flows, and Recent Progress on Completely Integrable Systems Date: October 7, 2021, 11:30 am ET Speaker: Monica Visan, University of California, Los Angeles Abstract: We will survey a number of recent developments in the theory of completely integrable nonlin

From playlist Seminar In the Analysis and Methods of PDE (SIAM PDE)

Video thumbnail

Evolution of Cellular Complexity (Lecture 3) by Michael Lynch

PROGRAM FIFTH BANGALORE SCHOOL ON POPULATION GENETICS AND EVOLUTION (ONLINE) ORGANIZERS: Deepa Agashe (NCBS, India) and Kavita Jain (JNCASR, India) DATE: 17 January 2022 to 28 January 2022 VENUE: Online No living organism escapes evolutionary change, and evolutionary biology thus conn

From playlist Fifth Bangalore School on Population Genetics and Evolution (ONLINE) 2022

Video thumbnail

What is a B Chord?

All B major chords are a combination of B, D# and F#

From playlist Music Lessons

Video thumbnail

Jean-Yves Girard: Deux ou trois choses que je sais d’elle : la logique

HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual

From playlist Logic and Foundations

Related pages

Binary number | Resolution (logic) | Radix | Prolog | Senary | Decimal | String (computer science) | HiLog