| http://www.w3.org/ns/prov#value | - Prolog has grown from a simple stand-alone interpreter into a full compiler-based technology with links to external databases, GUIs, and other languages such as C, and in so doing has effectively made the transition from academic-theorem prover to a complete general-purpose programming language.
|
