Programming Language - BSL

BSL

BSL -
1. Variant of IBMs PL/S systems language. Versions: BSL1, BSL2.
2. 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. "Report on the CHORAL Project: An Expert System for Chorale
Harmonization", K. Ebcioglu, RC 12628, IBM TJWRC, 1987.

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

10 plus 1? *   Robot Spam Prevention

 

Next Language:   BUGSYS

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z