DFL(ID:8423/)

for Data-Frame Logic

Frame based logic programming language from Rumania

References:
  • Ciortuz, LV and Petrea, M "Formal specifications for DFL, A Data Frame-based Logic Programming Language" in Proceedings of the Development Application Systems Symposium, Suceava, Romania 1994 view details