Mercurial > hg > Applications > Tokio

view Examples/etc/rsflipflop @ 4:f864bb4ba9a4 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update tags
author convert-repo
date Fri, 07 Nov 2008 20:36:52 +0000
parents cfb7c6b24319
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)).