Mercurial > hg > Applications > Tokio

diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Examples/etc/rsflipflop	Thu Aug 30 14:57:44 2007 +0900
@@ -0,0 +1,24 @@
+
+
+rs(R,S,Q,NQ) :-
+	nand(R,NQ,Q),
+	nand(S,Q,NQ).
+
+nand(A,B,Out) :-
+	A = 1,B = 1,
+	@Out = 0.
+nand(A,B,Out) :-
+	A = 1,B = 0,
+	@Out = 1.
+nand(A,B,Out) :-
+	A = 0,B = 1,
+	@Out = 1.
+nand(A,B,Out) :-
+	A = 0,B = 0,
+	@Out = 1.
+
+
+test :- #(notEmpty),
+	#read((R,S)),
+	#rs(R,S,Q,NQ),
+	#write((Q,NQ)).