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


Backtracking Specification Language 

alternate simple view
Country: 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.

  • Ebcioglu, K. (1987) Ebcioglu, K. "Report on the CHORAL Project: An Expert System for Chorale Harmonization", RC 12628, IBM Watson Labs, 1987.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder