drt.pl

 drs_to_fol(+DRS, -Formula) is det

Translate DRS into a first-order logic Formula.

 drs_interpret(+DRS, +ModelSet, -Vector) is det

drs_interpret(+DRS, +ModelMatrix, -Vector) is det

A DRS K is true in a model M iff [[K]]^M,g = 1 given an arbitrary variable assignment g.