H ?
«
‹
←
→
›
»
Language peer sets for BSL: United States↑ United States/1987↑ Designed 1987 ↑ 1980s languages ↑ Fifth generation↑ Late Cold War↑ Specialised Languages ↑ Specialised Languages/1987↑ Specialised Languages/us ↑ BSL(ID:1301/bsl001)Backtracking Specification Languagealternate simple viewCountry: United States Designed 1987 Published: 1987 Sammet category: Specialised Languages for Backtracking Specification Language. A logic programming language fundamentally different from Prolog. A nondeterministic Algol-like language where variables cannot be assigned more than once except in controlled contexts. Each BSL program corresponds to an assertion in first order logic, and executing the program amounts to proving the assertion. Used to write an expert system CHORAL for harmonization of Bach-style chorales. References: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |