summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-02-29 13:46:53 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-02-29 13:46:53 +0100
commit2d9a7b4323c8f78495ce45917cefdb502c846bbc (patch)
tree9c40e18d3e76f812d2998546bd10f13ec7cdf93a /prolog/problems/denotational_semantics
parente756acb31c54558ee16a0bbcda13f991b7d4f714 (diff)
Hints for aunt/2 improved. Also added to text for predicate_always_false hints.
Diffstat (limited to 'prolog/problems/denotational_semantics')
0 files changed, 0 insertions, 0 deletions