Mercurial > hg > Applications > Tokio

view 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 source



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)).