Prolog code style fixes
authorDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 14 Sep 2017 15:49:12 +0000 (17:49 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 14 Sep 2017 15:49:12 +0000 (17:49 +0200)
commit86cd9409f0e9fd608ceb862434f739019a937b06
tree53cd192f4ec1f1ff6e8ece32a4019440533814ff
parent36041bdb44dc097e138218333218fb928247e87a
Prolog code style fixes

- snake case for atoms/predicates/modules/file names

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
tools/sockeye/SockeyeBackendProlog.hs
usr/skb/programs/decodingNetQueries.pl [deleted file]
usr/skb/programs/decodingNetSKB.pl [deleted file]
usr/skb/programs/decoding_net.pl [moved from usr/skb/programs/decodingNet.pl with 54% similarity]
usr/skb/programs/decoding_net_queries.pl [new file with mode: 0644]
usr/skb/programs/decoding_net_skb.pl [new file with mode: 0644]