The top documents tagged [declarative semantics]
PLC
13 views
Tales from the Workshops
109 views
Logic Programming Language PROLOG
136 views
The idea of completion
20 views
The idea of completion
21 views