http://www.w3.org/ns/prov#value | - This language is an augmented version of the imperative Modula-2 language with logic-programming features and convenient backtracking capability.[1] It is small, strongly typed, and combines constraint programming, a limited number of features inspired by logic programming and supports imperative paradigms". (3) Another language and development environment is JADE, a proprietary object-oriented s
|