3 ms·

But got an A in the table for "Executable Specification", that's what 'declarative programming' actually means. One specifies/declares WHAT to do and the system

by lispm 10y ago

But got an A in the table for "Executable Specification", that's what 'declarative programming' actually means. One specifies/declares WHAT to do and the system figures out HOW to do it. Relational Lisp supports this on a 'logical'/'relational' level.