Schematically…

• The “Core”: shared subset of major languages

• • technically: positive Horn without function terms, with some simple datatypes

• The “BLD (Basic Logic Dialect)” is of the form:

• • “if condition true then this is true”
  • conditions may include functions, hierarchies

• The “PLD (Production Logic Dialect)” is of the form:

• • “if condition is true then do something”