RSS Amplifier

Topic · clark kent

clark kent: blogs

2 blogs in the directory cover this.

Subscribe:.rss.atom.json.md

Gedanken aus Berstadt

* Android * Linux * Terry Pratchett * Science Fiction * Fantasy * Bücher * Politik * Die Wetterau * Berstadt

Blogtagged by the author10 posts

Typed Logic

Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.

Blogtagged by the author25 posts

Machine-readable: this list of feeds, as JSON · their recent posts, as JSON Feed · all topics