loogikakeel 1(n)

reegelkeel, mille reeglid esitatakse loogikavalemitena