Mercurial > hg > Applications > Tokio
annotate Examples/etc/rsflipflop @ 0:cfb7c6b24319
Initial revision
| author | kono |
|---|---|
| date | Thu, 30 Aug 2007 14:57:44 +0900 |
| parents | |
| children |
| rev | line source |
|---|---|
| 0 | 1 |
| 2 | |
| 3 rs(R,S,Q,NQ) :- | |
| 4 nand(R,NQ,Q), | |
| 5 nand(S,Q,NQ). | |
| 6 | |
| 7 nand(A,B,Out) :- | |
| 8 A = 1,B = 1, | |
| 9 @Out = 0. | |
| 10 nand(A,B,Out) :- | |
| 11 A = 1,B = 0, | |
| 12 @Out = 1. | |
| 13 nand(A,B,Out) :- | |
| 14 A = 0,B = 1, | |
| 15 @Out = 1. | |
| 16 nand(A,B,Out) :- | |
| 17 A = 0,B = 0, | |
| 18 @Out = 1. | |
| 19 | |
| 20 | |
| 21 test :- #(notEmpty), | |
| 22 #read((R,S)), | |
| 23 #rs(R,S,Q,NQ), | |
| 24 #write((Q,NQ)). |