diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:02:03 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:02:03 (GMT) |
commit | 1fb6bcf30f954e426f2d3002d14887574fb941dd (patch) | |
tree | 08cff7f2b879c50efe79e3c04d255075522af862 /test/uscxml/prolog/likes.pl | |
parent | 71c334bf4e35559496feac3f3cf00b72ceb88812 (diff) | |
download | uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.zip uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.gz uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.bz2 |
Major refactoring
- Moved tests
- Changes to promela datamodel
- Implemented Trie
Diffstat (limited to 'test/uscxml/prolog/likes.pl')
-rw-r--r-- | test/uscxml/prolog/likes.pl | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/test/uscxml/prolog/likes.pl b/test/uscxml/prolog/likes.pl new file mode 100644 index 0000000..22395ed --- /dev/null +++ b/test/uscxml/prolog/likes.pl @@ -0,0 +1,38 @@ +%% Demo coming from http://clwww.essex.ac.uk/course/LG519/2-facts/index_18.html +%% +%% Please load this file into SWI-Prolog +%% +%% Sam's likes and dislikes in food +%% +%% Considering the following will give some practice +%% in thinking about backtracking. +%% ?- likes(sam,dahl). +%% ?- likes(sam,chop_suey). +%% ?- likes(sam,pizza). +%% ?- likes(sam,chips). +%% ?- likes(sam,curry). + +likes(sam,Food) :- + indian(Food), + mild(Food). +likes(sam,Food) :- + chinese(Food). +likes(sam,Food) :- + italian(Food). +likes(sam,chips). + +indian(curry). +indian(dahl). +indian(tandoori). +indian(kurma). + +mild(dahl). +mild(tandoori). +mild(kurma). + +chinese(chow_mein). +chinese(chop_suey). +chinese(sweet_and_sour). + +italian(pizza). +italian(spaghetti). |