Sockeye: Represent NodeId as name + namespace list in Prolog
authorDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 17 Jul 2017 09:00:49 +0000 (11:00 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 17 Jul 2017 09:00:49 +0000 (11:00 +0200)
commit48d6254f9ad65d435892a71a62e0fa9951ec3ed1
treee69c2d6a4c3a305b5c825793a98fc51ed7b1715c
parentea4486f1318bf1a4b04559179747f7b19197f115
Sockeye: Represent NodeId as name + namespace list in Prolog

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
tools/sockeye/SockeyeASTDecodingNet.hs
tools/sockeye/SockeyeBackendProlog.hs
tools/sockeye/SockeyeNetBuilder.hs
usr/skb/programs/decodingNetSKB.pl