Loading...

Axiomatic Language

241 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jan 18, 2016

Walter Wilson presents axiomatic language (http://axiomaticlanguage.org/) at Polyglot Programming DC (http://www.meetup.com/Polyglot-Progra...), December 2, 2015, Optoro Chinatown, Washington, DC. (Slides: http://axiomaticlanguage.org/Polyglot...)

Axiomatic language is an idealistic form of logic programming. Its goals are (1) pure specification, (2) minimality, (3) a metalanguage capability, and (4) beauty. Axiomatic language is based on the idea that the external behavior of a program can be represented by a static, infinite set of symbolic expressions that enumerate all possible inputs along with the corresponding outputs. The language is just a formal system for defining these sets.

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...