Mercurial > hg > Applications > Tokio

comparison Examples/etc/rsflipflop @ 0:cfb7c6b24319

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:cfb7c6b24319
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)).