small changes to roman.pl

COMS30106 · Mar 20, 2018 · 7167c1f · 7167c1f
1 parent 99b0a32
commit 7167c1f
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/roman.pl b/roman.pl
@@ -17,8 +17,16 @@
 d(2,N) --> i(N),i(N).
 d(3,N) --> i(N),i(N),i(N).
 d(4,N) --> i(N),v(N).
+%d(4,N) --> i(N),i(N),i(N),i(N).
 d(5,N) --> v(N).
 d(6,N) --> v(N),i(N).
 d(7,N) --> v(N),i(N),i(N).
 d(8,N) --> v(N),i(N),i(N),i(N).
 d(9,N) --> i(N),{N1 is N+1},i(N1).
+
+/** &lt;examples&gt;
+
+?- phrase(roman(1984),R).
+?- phrase(roman(Y),[m,c,m,l,x,x,x,i,v]).
+
+*/