Daniel Brand, Vuay S. Iyengar
IEEE TC
Paper
On typing in prolog
Abstract
Frequently a domain of discourse can be described as a hierarchical structure. Then instead of using one place predicates to describe the type of a term one can associate types directly, and let the unification procedure take advantage of it. This prunes the search space without the use of the Cut operator. © 1986, ACM. All rights reserved.
Related
Conference paper
Technology adaptation in logic synthesis
William H. Joyner, Louise H. Trevillyan, et al.
DAC 1986
Ewout van den Berg, Daniel Brand, et al.
INTERSPEECH 2015
Conference paper
MEC: Memory-efficient convolution for deep neural network
M. Cho, Daniel Brand
ICML 2017