Prolog

Rate this topic

Language

Prolog's core inference engine is based on resolution, a theorem-proving technique from mathematical logic. elaborate share

AWK

Rate this topic

Language

AWK's name is derived from the initials of its creators: Alfred Aho, Peter Weinberger, and Brian Kernighan. elaborate share

Rust

Rate this topic

Language

Rust's mascot is a crab, reflecting the language's focus on memory safety (crabs have hard shells protecting them). elaborate share

Standard ML

Rate this topic

Language

Standard ML's type system is so powerful that it can guarantee the absence of certain runtime errors, like null pointer exceptions, at compile time. elaborate share

COBOL

Rate this topic

Language

COBOL's English-like syntax, designed for readability, ironically made it prone to verbose and sometimes confusingly structured code. elaborate share

C Shell

Rate this topic

Language

The C shell (`csh`) was originally developed for the VAX/VMS operating system before being ported to Unix. elaborate share